<theory> (ACP)
Compare CCS.
["Algebra of Communicating Processes with Abstraction", J.A. Bergstra & J.W. Klop, Theor Comp Sci 37(1):77-121 1985].
[Summary?]
(08 Nov 1994)