Skip to main content Accessibility help
×
Home

Expressiveness modulo bisimilarity of regular expressions with parallel composition

  • JOS C. M. BAETEN (a1) (a2), BAS LUTTIK (a2) (a3), TIM MULLER (a4) and PAUL VAN TILBURG (a2)

Abstract

The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness modulo bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness, still insufficient, however, to facilitate the expression of all finite automata up to bisimilarity. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.

Copyright

References

Hide All
Baeten, J. C. M., Basten, T. and Reniers, M. A. (2010) Process Algebra: Equational Theories of Communicating Processes, Cambridge Tracts in Theoretical Computer Science volume 50, Cambridge University Press.
Baeten, J. C. M., Corradini, F. and Grabmayer, C. A. (2007) A characterization of regular expressions under bisimulation. Journal of the ACM 54 (2) 6.128.
Baeten, J. C. M. and van Glabbeek, R. J. (1987) Merge and termination in process algebra. In: Nori, K. V. (ed.) Foundations of Software Technology and Theoretical Computer Science. Springer Lecture Notes in Computer Science 287 153172.
Baeten, J. C. M. and Verhoef, C. (1993) A congruence theorem for structured operational semantics with predicates. In: Best, E. (ed.) Conference on Concurrency Theory. Springer Lecture Notes in Computer Science 715 477492.
Bergstra, J. A., Bethke, I. and Ponse, A. (1994) Process algebra with iteration and nesting. The Computer Journal 37 (4) 243258.
Bergstra, J. A., Fokkink, W. and Ponse, A. (2001) Process algebra with recursive operations. In: Bergstra, J. A., Ponse, A. J. and Smolka, S. A. (eds.) Handbook of Process Algebra, Elsevier 333389.
Bergstra, J. A. and Klop, J. W. (1984) Process algebra for synchronous communication. Information and Control 60 (1–3) 109137.
Fröschle, S. B. and Valencia, F. D. (eds.) (2010) Proceedings 17th International Workshop on Expressiveness in Concurrency. Electronic Proceedings in Theoretical Computer Science 41 115.
Glabbeek, R. J. V. and Weijland, W. P. (1996) Branching time and abstraction in bisimulation semantics. Journal of the ACM 43 (3) 555600.
Gorla, D. (2010) Towards a unified approach to encodability and separation results for process calculi. Information and Computation 208 (9) 10311053.
Hopcroft, J. E., Motwani, R. and Ullman, J. D. (2006) Introduction to Automata Theory, Languages, and Computation, Pearson.
Koymans, C. J. P. and Vrancken, J. L. M. (1985) Extending process algebra with the empty process ϵ, Logic Group Preprint Series 1, State University of Utrecht.
Milner, R. (1984) A complete inference system for a class of regular behaviours. Journal of Computer System Science 28 (3), 439466.
Milner, R. (1989) Communication and Concurrency, Prentice-Hall International, Englewood Cliffs.
Park, D. (1981) Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) Proceedings of the 5th GI Conference. Springer-Verlag Lecture Notes in Computer Science 104, Karlsruhe, Germany 167183.
Plotkin, G. D. (2004) A structural approach to operational semantics. Journal of Logic and Algebraic Programming 60–61 17139.
Vrancken, J. L. M. (1997) The algebra of communicating processes with empty process. Theoretical Computer Science 177 (2) 287328.

Related content

Powered by UNSILO

Expressiveness modulo bisimilarity of regular expressions with parallel composition

  • JOS C. M. BAETEN (a1) (a2), BAS LUTTIK (a2) (a3), TIM MULLER (a4) and PAUL VAN TILBURG (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.