On the Expressiveness of ACP
De Simone showed that a wide class of languages, including CCS, SCCS, CSP and ACP, are expressible up to strong bisimulation equivalence in Meije. He also showed that every recursively enumerable process graph is representable by a Meije expression. Meije in turn is expressible in aprACP (ACP with action prefixing instead of sequential composition).
Vaandrager established that both results crucially depend on the use of unguarded recursion, and its noncomputable consequences. Effective versions of CCS, SCCS, Meije and ACP, not using unguarded recursion, are incapable of expressing all effective De Simone languages. And no effective language can denote all computable process graphs.
In this paper I recreate De Simone’s results in aprACP without using unguarded recursion. The price to be payed for this is the use of a partial recursive communication function and—for the second result— a single constant denoting a simple infinitely branching process. Due to the noncomputable communication function, the version of aprACP employed is still not effective.
However, I also define a wide class of De Simone languages that are expressible in an effective version of aprACP. This class includes the effective versions of CCS, SCCS, ACP, Meije and most other languages proposed in the literature, but not CSP. An even wider class, including CSP, turns out to be expressible in an effective version of aprACP to which an effective relational renaming operator has been added.
KeywordsTated Encapsulation Prefix Decid
Unable to display preview. Download preview PDF.
- J.A. Bergstra & J.W. Klop (1984): The algebra of recursively defined processes and the algebra of regular processes. This volume.Google Scholar
- G. Boudol (1985): Notes on algebraic calculi of processes. In K. Apt, editor: Logics and Models of Concurrent Systems, Springer-Verlag, pp. 261–303. NATO ASI Series F13.Google Scholar
- R. Milner (1983): Calculi for synchrony and asynchrony. Theoretical Computer Science 25, pp. 267–310.Google Scholar
- G.D. Plotkin (1981): A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University.Google Scholar
- A. PONSE (1992): Computable processes and bisimulation equivalence. Report CS-R9207, CWI, Amsterdam.Google Scholar
- R. de Simone (1984): On Meije and SCCS: infinite sum operators vs. non-guarded definitions. Theoretical Computer Science 30, pp. 133–138.Google Scholar
- R. DE Simone (1985): Higher-level synchronising devices in Meije- SCCS. Theoretical Computer Science 37, pp. 245–267. For more details see  and: Calculabilité et Expressivité dans l’Algebra de Processus Parallèles Meije, These de 3e cycle, Univ. Paris 7, 1984.Google Scholar
- F.W. Vaandrager (1993): Expressiveness results for process algebras. In J.W. de Bakker, W.P. de Roever & G. Rozenberg, editors: Proceedings REX Workshop on Semantics: Foundations and Applications, Beekbergen, The Netherlands, June 1992, LNCS 666, Springer-Verlag, pp. 609–638.Google Scholar