## Papers |

Equivalence checking for weak bi-Kleene algebra.
(2018)

*With Tobias Kappé, Bas Luttik, Alexandra Silva, and Fabio Zanasi.* Submitted in LMCS.

On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata.
(2018)

*With Tobias Kappé, Bas Luttik, Alexandra Silva, and Fabio Zanasi.* Submitted in JLAMP.

Concurrent Kleene Algebra: Free Model and Completeness.
(2018)

*With Tobias Kappé, Alexandra Silva, and Fabio Zanasi.* In ESOP.

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
(2017)

*With Tobias Kappé, Bas Luttik, Alexandra Silva, and Fabio Zanasi.* In CONCUR.

## Talks |

Pomset languages and concurrent Kleene algebra | [slides] | |

Theory seminar - QMU, February 2018 | ||

Pomset languages and concurrent Kleene algebras | [slides] | |

SĂ©minaire automates, November 2017 | ||

On Decidability of Concurrent Kleene Algebra | [slides] | |

CONCUR, September 2017 |

## Documents |