Reading material
Pages 1007-1034 of Concurrency, Distribution, Client-Server and the Internet1
Pages 1-4 of Process Algebra2
1Chapter of
- Bertrand Meyer.
Object-Oriented Software Construction.
1997.
2
- Rance Cleaveland and Scott A. Smolka.
Process Algebra.
In J.G. Webster, editor, Encyclopedia of Electrical Engineering.
John Wiley & Sons, 1999.
Additional material
binary_tree.e
buffer_access.e