Reading material
Pages 4-11 of Process Algebra1
1
- Rance Cleaveland and Scott A. Smolka.
Process Algebra.
In J.G. Webster, editor, Encyclopedia of Electrical Engineering.
John Wiley & Sons, 1999.
Additional material
Additional material about CCS can be found in
- Robin Milner.
Communication and Concurrency.
Prentice Hall.
1989.
- Robin Milner.
Communicating and Mobile Systems: the
-Calculus.
Cambridge University Press.
1999.