Reading material

Pages 1007-1034 of Concurrency, Distribution, Client-Server and the Internet1
Pages 1-4 of Process Algebra2

1Chapter of

2

Additional material

binary_tree.e
buffer_access.e