The equational theory of Kleene lattices, Theoretical Computer Science, vol.412, issue.52, pp.7099-7108, 2011. ,
DOI : 10.1016/j.tcs.2011.09.024
The equational theory of union-free algebras of relations, Algebra Universalis, vol.82, issue.2, pp.516-532, 1995. ,
DOI : 10.1007/BF01225472
Notes on equational theories of relations, Algebra Universalis, vol.6, issue.1, pp.98-126, 1995. ,
DOI : 10.1007/BF01190768
Kleene Algebra with Converse, Proc. RAMiCS, pp.101-118, 2014. ,
DOI : 10.1007/978-3-319-06251-8_7
URL : https://hal.archives-ouvertes.fr/hal-00938235
Web appendix to this abstract, 2014. ,
Regular algebra and finite machines, 1971. ,
Equational properties of Kleene algebras of relations with conversion, Theoretical Computer Science, vol.137, issue.2, pp.237-251, 1995. ,
DOI : 10.1016/0304-3975(94)00041-G
Categories, Allegories, 1990. ,
Representation of Events in Nerve Nets and Finite Automata. Memorandum. Rand Corporation, 1951. ,
On kleene algebras and closed semirings, Proc. MFCS, pp.26-47, 1990. ,
DOI : 10.1007/BFb0029594
A completeness theorem for Kleene algebras and the algebra of regular events, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.214-225, 1991. ,
DOI : 10.1109/LICS.1991.151646
A complete system of B-rational identities, Proc. ICALP, pp.60-73, 1990. ,
DOI : 10.1007/BFb0032022
URL : https://hal.archives-ouvertes.fr/hal-00017725
Petri nets: Properties, analysis and applications, Proc. of the IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143
Fundamentals of a theory of asynchronous information flow, IFIP Congress, pp.386-390, 1962. ,
Kommunikation mit Automaten, 1962. ,
Programming Techniques: Regular expression search algorithm, Communications of the ACM, vol.11, issue.6, pp.419-422, 1968. ,
DOI : 10.1145/363347.363387