You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL