We investigate the equational theory of several fragments of CCS modulo (strong) bisimilarity with special attention to restriction and relabelling. The largest fragment we consider includes action prefixing, choice, parallel composition without communication, restriction and relabelling. We present a finite equational base (i.e., a finite ground-complete and omega-complete axiomatisation) for it, including the left merge from ACP as auxiliary operation to facilitate the axiomatisation of parallel composition. © 2008 Springer Science+Business Media, LLC.
CITATION STYLE
Aceto, L., Ingólfsdóttir, A., Luttik, B., & Tilburg, P. (2008). Finite equational bases for fragments of CCS with restriction and relabelling. In IFIP International Federation for Information Processing (Vol. 273, pp. 317–332). https://doi.org/10.1007/978-0-387-09680-3_22
Mendeley helps you to discover research relevant for your work.