Expressiveness modulo bisimilarity of regular expressions with parallel composition
(2015)
Journal Article
© Cambridge University Press 2015. 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 bisimil... Read More about Expressiveness modulo bisimilarity of regular expressions with parallel composition.