algebra of communicating processes meaning

[Computer]
<theory> (ACP)

Compare CCS.

Examples

1. With Alban Ponse and Bas van Vlijmen, Verhoef initiated the first two International Workshops on the Algebra of Communicating Processes in 1994 and 1995.
2. Klop is known for his work on the Algebra of Communicating Processes, co-author of " TeReSe " and his fixed point combinator
3. One of his first research interests was the Algebra of Communicating Processes, an " algebraic theory to describe processes that can communicate . " This field was initially developed by Jan Bergstra and Jan Willem Klop in 1982.
4. In 1982 Jan Bergstra and Jan Willem Klop began work on what came to be known as the Algebra of Communicating Processes ( ACP ), and introduced the term " process algebra " to describe their work.