Damien Pous
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
On decidability of concurrent Kleene algebra
Paul Brunet and others (2017) · Proceedings of the International Conference on Concurrency Theory (CONCUR)