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?]

Nearby terms:
Algebraic Manipulation Package « Algebraic Specification Language « algebraic structure « Algebra of Communicating Processes » ALGOL » ALGOL 58 » ALGOL 60