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

2

Additional material