- R. Milner, Communication and Concurrency, Prentice Hall, 1989
- R. Milner, Communicating and Mobile Systems: the p-calculus, Cambridge University Press, 1999
- D. Sangiorgi and D. Walker, The p-calculus: A Theory of Mobile Processes, Cambridge University Press, 2001
- C. Stirling, Modal and Temporal Properties of Processes, Springer, 2001
- CCS: syntax and operational semantics
- CCS: process equivalence 1 (trace equivalence and strong bisimilulation)
- CCS: process equivalence 2 (weak bisimulation and simulation; co-induction)
- CCS: process equivalence 3 (tools and techniques for proving bisimulation; testing equivalence)
Sample inputs for CAAL (Concurrency Workbench, Aalborg Version)
Homework assignments will be announced through UTOL, and reports on them should also be submitted through UTOL. Plagiarism is strictly prohibited. See also this page.