Observation algebras: Heyting algebra over coherence spaces.
CoRR, March, 2025
Equivalence checking for weak bi-Kleene algebra.
Log. Methods Comput. Sci., 2021
A Compositional Deadlock Detector for Android Java.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
Proceedings of the Foundations of Software Science and Computation Structures, 2020
A Complete Axiomatisation of a Fragment of Language Algebra.
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020
Partially Observable Concurrent Kleene Algebra.
Proceedings of the 31st International Conference on Concurrency Theory, 2020
On series-parallel pomset languages: Rationality, context-freeness and automata.
J. Log. Algebraic Methods Program., 2019
A note on commutative Kleene algebra.
CoRR, 2019
A complete axiomatisation of reversible Kleene lattices.
CoRR, 2019
A Kleene Theorem for Nominal Automata.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Kleene Algebra with Observations.
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Concurrent Kleene Algebra: Free Model and Completeness.
Proceedings of the Programming Languages and Systems, 2018
Log. Methods Comput. Sci., 2017
Reversible Kleene lattices.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
On Decidability of Concurrent Kleene Algebra.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Algebras of Relations : from algorithms to formal proofs. (Algèbres de relations : des algorithmes aux preuves formelles).
PhD thesis, 2016
Algorithms for Kleene algebra with converse.
J. Log. Algebraic Methods Program., 2016
A Formal Exploration of Nominal Kleene Algebra.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Cardinalities of Finite Relations in Coq.
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Petri Automata for Kleene Allegories.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Kleene Algebra with Converse.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014