Logo Concurrent Kleene algebra

Papers

expand/reduce
Conference paper
Concurrent Kleene Algebra: Free Model and Completeness. (2018)
With Tobias Kappé, Alexandra Silva, and Fabio Zanasi. To appear 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 algebras [slides]
SĂ©minaire automates, November 2017
c On Decidability of Concurrent Kleene Algebra [slides]
CONCUR, September 2017

Documents

expand/reduce