ACP ==>
Algebra of Communicating Processes
<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?]
(1994-11-08)
Nearby terms:
Algebraic Manipulation Package « Algebraic
Specification Language « algebraic structure «
Algebra of Communicating Processes » ALGOL »
ALGOL 58 » ALGOL 60
|