APICe » Publications » Algebra of communicating processes with abstraction

Algebra of communicating processes with abstraction

Jan A. Bergstra, Jan Willem Klop
We present an axiom system ACP, for communicating processes with silent actions (‘τ-steps’). The system is an extension of ACP, Algebra of Communicating Processes, with Milner's τ-laws and an explicit abstraction operator. By means of a model of finite acyclic process graphs for ACPτ, syntactic properties such as consistency and conservativity over ACP are proved. Furthermore, the Expansion Theorem for ACP is shown to carry over to ACPτ. Finally, termination of rewriting terms according to the ACPτ, axioms is probed using the method of recursive path orderings.
Theoretical Computer Science 37, pages 77--121, 1985
	Author = {Bergstra, Jan A. and Klop, Jan Willem},
	Doi = {10.1016/0304-3975(85)90088-X},
	Issn = {0304-3975},
	Journal = {Theoretical Computer Science},
	Pages = {77--121},
	Title = {Algebra of communicating processes with abstraction},
	Url = {http://www.sciencedirect.com/science/article/pii/030439758590088X},
	Volume = 37,
	Year = 1985}