Logo Concurrent Kleene algebra

Papers

expand/reduce
Journal paper
Equivalence checking for weak bi-Kleene algebra. (2018)
With Tobias Kappé, Bas Luttik, Alexandra Silva, and Fabio Zanasi. Submitted in LMCS.
Journal paper
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata. (2018)
With Tobias Kappé, Bas Luttik, Alexandra Silva, and Fabio Zanasi. Submitted in JLAMP.
Conference paper
Concurrent Kleene Algebra: Free Model and Completeness. (2018)
With Tobias Kappé, Alexandra Silva, and Fabio Zanasi. In ESOP.
Conference paper
On Decidability of Concurrent Kleene Algebra. (2017)
With Damien Pous and Georg Struth. In CONCUR.
Conference paper
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. (2017)
With Tobias Kappé, Bas Luttik, Alexandra Silva, and Fabio Zanasi. In CONCUR.

Talks

expand/reduce
c Pomset languages and concurrent Kleene algebra [slides]
Theory seminar - QMU, February 2018
c Pomset languages and concurrent Kleene algebras [slides]
SĂ©minaire automates, November 2017
c On Decidability of Concurrent Kleene Algebra [slides]
CONCUR, September 2017

Documents

expand/reduce