Reading material
Pages 9-11 and 20-22 of Pict: A Programming Language Based on the Pi-Calculus1
Pages 34-35 of Higher-order Concurrency2
1
- Benjamin C. Pierce and David N. Turner.
Pict: A Programming Language Based on the Pi-Calculus.
CSCI Technical Report #476,
Indiana University,
1997.
2
- John H. Reppy.
Higher-order Concurrency.
Computer Science Technical Report 92-1285,
Cornell University,
June 1992.
Additional material