J. H. Conway, Regular Algebra and Finite Machines, 1971.

C. T. Hoare, B. Möller, G. Struth, and I. Wehrman, Concurrent Kleene Algebra, p.CONCUR, 2009.

T. Kappé, P. Brunet, A. Silva, J. Wagemaker, and F. Zanasi, Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness, FoSSaCS (2020)

T. Kappé, P. Brunet, A. Silva, and F. Zanasi, Concurrent Kleene Algebra: Free Model and Completeness, 2018.

D. Kozen, A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events, Information and Computation, vol.110, issue.2, 1994.


D. Krob, A complete system of B-rational identities, ICALP. pp, pp.60-73, 1990.
URL : https://hal.archives-ouvertes.fr/hal-00017725

M. R. Laurence and G. Struth, Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages, RAMiCS, 2014.

D. L. Pilling, The Algebra of Operators for Regular Events, 1970.

V. N. Redko, On the algebra of commutative events, Ukrainskij matematicheskij zhurnal, vol.16, issue.02, pp.185-195, 1964.