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

Bergstra, J. A.; Klop, J. W.

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

MSC:

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

Keywords:

concurrent systems; Communicating Processes; Milner’s CCS; concurrent processes

Citations:

Zbl 0596.00003