Partially Observable Concurrent Kleene Algebra | 0 | 0.34 | 2020 |
A Complete Axiomatisation of a Fragment of Language Algebra. | 0 | 0.34 | 2020 |
A Kleene Theorem for Nominal Automata. | 0 | 0.34 | 2019 |
A complete axiomatisation of reversible Kleene lattices. | 0 | 0.34 | 2019 |
Kleene Algebra with Observations. | 0 | 0.34 | 2018 |
Equivalence Checking For Weak Bi-Kleene Algebra | 0 | 0.34 | 2018 |
Concurrent Kleene Algebra: Free Model and Completeness. | 1 | 0.36 | 2018 |
Reversible Kleene lattices. | 0 | 0.34 | 2017 |
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. | 2 | 0.39 | 2017 |
A Formal Exploration of Nominal Kleene Algebra. | 0 | 0.34 | 2016 |
Kleene Algebra with Converse. | 1 | 0.36 | 2014 |