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 77121, 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}


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna