Seminario

Relatore: Prof. Flavio Corradini

Titolo: On Equational Axiomatizations of Milner Bisimulation in Kleene Stars

Abstract:

The talk is concerned with (non deterministic) regular expressions and Milner bisimulation. We present a finite complete equational axiomatization for bisimulation equivalence over a significant subset of regular expressions; those that satisfy the so-called hereditary non-empty word property in star-contexts. This condition, however, does not lead to equational axiomatization for the classical (deterministic) interpretation. We conjecture that the set of regular expressions with the hereditary non-empty word property is the largest language for which bisimulation admits a finite equational axiomatization. The zero object deserves a special care.