Kleene Algebra with Observations

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