Process Algebra: Specification and Verification (1986)

by J A Bergstra, J W Klop
Venue:in Bisimulation Semantics. Number CWI Monograph 4 in Mathematics and Computer Science