ACP

Algebra of Communicating Processes.

Compare CCS.

"Algebra of Communicating Processes with Abstraction", J. A. Bergstra & J. W. Klop, Theoretical Computer Science 37(1):77-121 (1985)