Algebra of Communicating Processes

Synonyms

ACP

(ACP)

Compare CCS.

["Algebra of Communicating Processes with Abstraction", J.A. Bergstra & J.W. Klop, Theor Comp Sci 37(1):77-121 1985].

[Summary?]