A. McIver, T. Rabehaja, and G. Struth.
An Event Structure Model for Probabilistic Concurrent Kleene Algebra.
LPAR-19, Springer LNCS 8312, 653-667, 2013.
[PDF]

A. McIver, T. Rabehaja, and G. Struth.
Probabilistic Concurrent Kleene Algebra.
QAPL 2013, EPTCS 117, 2013, 97-115.
[PDF]

A. McIver, C. Gonzalia, E. Cohen, and C. Morgan.
Using probabilistic Kleene algebra pKA for protocol verification.
J. Logic and Algebraic Programming 76 (2008) 90-111.
[PDF]

J. Jaskolka, R. Khedri, and Q. Zhang.
Endowing Concurrent Kleene Algebra with Communication Actions.
RAMiCS 2014, Springer LNCS 8428, 19-36, 2014.
[PDF]

P. Höfner and B. Möller.
Dijkstra, Floyd and Warshall Meet Kleene.
Formal Aspects of Computing 24:4-6, July 2012, 459-476.
[PDF]

C.A.R. Hoare, B. Möller, G. Struth, and I. Wehrman.
Concurrent Kleene Algebra and its Foundations.
J. Logic and Algebraic Programming 80 (2011) 266-296.
[PDF]

P. Jipsen.
Concurrent Kleene Algebra with Tests.
RAMiCS 2014, Springer LNCS 8428, 37-48, 2014.
[PDF]

C.A.R. Hoare, S. van Staden, B. Möller, G. Struth, J. Villard, H. Zhu, and P. O'Hearn.
Developments in Concurrent Kleene Algebra.
RAMiCS 2014, Springer LNCS 8428, 1-18, 2014.
[PDF]

J. Desharnais, B. Möller, and G. Struth.
Kleene Algebra with Domain.
Report 2003-07, Universität Augsburg, May 2003.
[PDF]

J. Desharnais, B. Möller, and G. Struth.
Modal Kleene Algebra and Applications: A Survey.
Rapport de Recherche DIUL-RR-0401, Université Laval, March 2004.
[PDF]

H.-H. Dang and B. Möller.
Simplifying Pointer Kleene Algebra.
ATE 2011, 2011.
[PDF]

L. Aceto, W. J. Fokkink, and A. Ingólfsdóttir.
On a Question of A. Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based.
Theoretical Computer Science 209(1-2):141-162, December 1998.
[PDF]

L. Aceto and W. J. Fokkink.
An Equational Axiomatization for Multi-Exit Iteration.
Information and Computation 137:2, 1997, 121-158.
[PDF]

H. Andréka, S. Mikulás, and I. Németi.
The Equational Theory of Kleene Lattices.
Theoretical Computer Science 412:52, 2011, 7099-7108.
[PDF]

Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker,
NetKAT: Semantic Foundations for Networks.
POPL ’14, 2014.
[PDF]

Nate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva, and Laure Thompson.
A Coalgebraic Decision Procedure for NetKAT.
POPL ’15, 2015.
[PDF]

Arto Salomaa.
Two Complete Axiom Systems for the Algebra of Regular Events.
J. ACM 13:1, January 1966, 158-169.
[PDF]

Hans Leiss.
Towards Kleene Algebra with Recursion.
CSL '91, 242-256.
[PDF]

Tobias Kappé, Paul Brunet, Alexandra Silva, and Fabio Zanasi.
Concurrent Kleene Algebra: Free Model and Completeness.
In: Ahmed, A., ed., Programming Languages and Systems. ESOP 2018. Springer LNCS 10801.
[PDF]

Michael R. Laurence and Georg Struth.
Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras.
Preprint, 2017.
[PDF]

Tony Hoare, Bernhard Möller, Georg Struth, and Ian Wehrmand.
Concurrent Kleene Algebra and its Foundations.
J. Logic and Algebraic Programming 80, 2011, 266-296.
[PDF]

Wan Fokkink.
On the Completeness of the Equations for the Kleene Star in Bisimulation.
AMAST '96, 180-194.
[PDF]

Peter Jipsen and M. Andrew Moshier.
Concurrent Kleene algebra with tests and branching automata.
Preprint, 2015.
[PDF]

Peter Jipsen.
Concurrent Kleene algebra with tests.
Slides, RAMiCS '14.
[PDF]

Peter Jipsen.
Foundations of Relations and Kleene Algebra.
Slides, 2006.
[PDF]

RelMiCS '09 Proceedings.
[PDF]

RAMiCS '11 Proceedings.
[PDF]

RAMiCS '14 Proceedings.
[PDF]

Broda, S., Cavadas, S., Ferreira, M., Moreira, N.
Deciding Synchronous Kleene Algebra with Derivatives.
CIAA 2015. Springer LNCS 9223.
[PDF]

Wagemaker, J., Bonsangue, M., Kappé, T., Rot, J., Silva, A.
Completeness and Incompleteness of Synchronous Kleene Algebra.
MPC 2019. Springer LNCS 11825.
[PDF]

Kappé, T., Brunet, P., Silva, A., Wagemaker, J., Zanasi, F.
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
FoSSaCS 2020. Springer LNCS 12077.
[PDF]

Jean-Eric Pin.
Tropical Semirings.
In: Idempotency, Publications of the Newton Institute 11, Cambridge University Press, 1998, 50-69.
[PDF]

Luca Aceto, Zoltán Ésik, and Anna Ingólfsdóttir.
Equational theories of tropical semirings.
Theoretical Computer Science 298:3 (2003) 417-469.
[PDF]

Therrezinha Fernandes and Jules Desharnais.
Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.
MPC 2004, LNCS 3125, pp. 110-128, 2004.
[PDF]

K. Iwano and K. Steiglitz.
A Semiring on Convex Polygons and Zero-Sum Cycle Problems.
SIAM J. Comput., 19(5), 883-901.
[PDF]

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich.
Argosy: Verifying Layered Storage Systems with Recovery Refinement.
PLDI 2019.
[PDF]

Michael Greenberg, Ryan Beckett, Eric Campbell.
Kleene algebra modulo theories: a framework for concrete KATs.
PLDI 2022, 594-608.
[PDF]

Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi.
On Incorrectness Logic and Kleene Algebra with Top and Tests.
POPL 2022, 1-30.
[PDF]

Arthur Azevedo de Amorim, Marco Gaboardi, Cheng Zhang.
Kleene algebra with commutativity conditions is undecidable.
Preprint, April 2024.
[PDF]

Lena Verscht and Benjamin Kaminski.
Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond.
Preprint, December 2023.
[PDF]