algebra of communicating processes

from The Free On-line Dictionary of Computing (8 July 2008)

Algebra of Communicating Processes
ACP

   <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)