| No. |
Title |
Author |
Year |
| 1 |
A Complete Axiomatisation of a Fragment of Language Algebra |
Brunet, Paul |
2020 |
| 2 |
Partially Observable Concurrent Kleene Algebra |
Wagemaker, Jana et al. |
2020 |
| 3 |
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra |
Brunet, Paul et al. |
2020 |
| 4 |
A Kleene Theorem for Nominal Automata |
Brunet, Paul et al. |
2019 |
| 5 |
Kleene Algebra with Observations |
Kappé, Tobias et al. |
2019 |
| 6 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages |
Kappé, Tobias et al. |
2017 |
| 7 |
On Decidability of Concurrent Kleene Algebra |
Brunet, Paul et al. |
2017 |
| 8 |
Reversible Kleene lattices |
Brunet, Paul |
2017 |
| 9 |
A Formal Exploration of Nominal Kleene Algebra |
Brunet, Paul et al. |
2016 |
