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



< Previous Terms Terms Containing Algebra of Communicating Processes Next Terms >
Algebraic Interpretive Dialogue
Algebraic Logic Functional language
Algebraic Manipulation Package
Algebraic Specification Language
algebraic structure
ACP
Algebra of Communicating Processes
ALGOL
ALGOL 58
ALGOL 60
ALGOL 60 Modified
ALGOL 60 Revised