Kappe, T;
Brunet, P;
Rot, J;
Silva, A;
Wagemaker, J;
Zanasi, F;
(2019)
Kleene Algebra with Observations.
In:
Proceedings of the 30th International Conference on Concurrency Theory (CONCUR 2019).
(pp. 41:1 -41:16).
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany.