Kleene Algebra with Observations

AuthID
P-00S-7JM
6
Author(s)
Kappé, T
·
Brunet, P
·
Rot, J
·
Wagemaker, J
·
2
Editor(es)
Wan J. Fokkink; Rob van Glabbeek
Tipo de Documento
Proceedings Paper
Year published
2019
Publicado
in 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. in LIPIcs
Volume: 140, Páginas: 41:1-41:16
Indexing
Publication Identifiers
DBLP: conf/concur/KappeBRSWZ19
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.