Reading material

Pages 14-22 of A Calculus of Mobile Processes, Part I1

1

Additional material