Process algebra: Specification and verification in bisimulation semantics. (English) Zbl 0625.68023

Mathematics and computer science II, Proc. Symp., Amsterdam/Neth. 1986, CWI Monogr. 4, 61-94 (1986).
[For the entire collection see Zbl 0596.00003.]
The authors present the Algebra of Communicating Processes - an axiomatic approach to processes which is based on Milner’s CCS. By means of this algebra concurrent processes can be specified and verified formally.
Reviewer: W.Kwasowiec


68N25 Theory of operating systems
68Q65 Abstract data types; algebraic specification


Zbl 0596.00003