Regular Algebra and Finite Machines, 1971. ,
Concurrent Kleene Algebra, p.CONCUR, 2009. ,
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness, FoSSaCS (2020) ,
Concurrent Kleene Algebra: Free Model and Completeness, 2018. ,
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events, Information and Computation, vol.110, issue.2, 1994. ,
,
A complete system of B-rational identities, ICALP. pp, pp.60-73, 1990. ,
URL : https://hal.archives-ouvertes.fr/hal-00017725
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages, RAMiCS, 2014. ,
The Algebra of Operators for Regular Events, 1970. ,
On the algebra of commutative events, Ukrainskij matematicheskij zhurnal, vol.16, issue.02, pp.185-195, 1964. ,