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.