Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Algebra of Communicating Processes

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

©2018 Martin Webb