Reading material

Lecture notes on CCS.

Additional material

Faron Moller and Scott A. Smolka. On the Complexity of Bisimulation. ACM Computing Surveys, 27(2): 287-289, June 1995.