The Free On-line Dictionary of Computing (19 January 2023):

Algebra of Communicating Processes
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?]

   (1994-11-08)