Publications

2020

Partially Observable Concurrent Kleene Algebra.
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.
With David Pym.
In FSCD,
2020.
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
In FoSSaCS,
2020.
A Complete Axiomatisation of a Fragment of Language Algebra.
In CSL,
2020.

2019

A note on commutative Kleene algebra -- mathematician friendly version.
2019.
A note on commutative Kleene algebra.
2019.
Kleene Algebra with Observations.
Bracket Algebra, a nominal theory of interleaved scopes.
A Kleene theorem for nominal automata.
In ICALP,
2019.
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata.
In JLAMP,
2019.

2018

Equivalence checking for weak bi-Kleene algebra.
Submitted in LMCS,
2018.
Concurrent Kleene Algebra: Free Model and Completeness.
In ESOP,
2018.

2017

On Decidability of Concurrent Kleene Algebra.
In CONCUR,
2017.
Reversible Kleene lattices.
In MFCS,
2017.
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
In CONCUR,
2017.
Petri automata.
In LMCS,
2017.

2016

Algebras of relations: from algorithms to formal proofs.
PhD thesis, Université de Lyon,
2016.
A formal exploration of nominal Kleene algebra.
In MFCS,
2016.
Cardinalities of finite relations in Coq.
In ITP,
2016.
Algorithms for Kleene algebra with converse.
In JLAMP,
2016.

2015

Petri automata for Kleene allegories.
In LICS,
2015.
Decidability of identity-free relational Kleene lattices.
In JFLA,
2015.

2014

Kleene algebra with converse.
In RAMICS,
2014.