Wagemaker, J;
Brunet, P;
Docherty, S;
Kappé, T;
Rot, J;
Silva, A;
(2020)
Partially Observable Concurrent Kleene Algebra.
In:
31st International Conference on Concurrency Theory (CONCUR 2020).
(pp. 20:1-20:22).
Schloss Dagstuhl--Leibniz-Zentrum für Informatik: Dagstuhl, Germany.