Partially Observable Concurrent Kleene Algebra

AuthID
P-00S-Q93
6
Author(s)
Wagemaker, J
·
Brunet, P
·
Docherty, S
·
Kappé, T
·
Rot, J
·
2
Editor(s)
Igor Konnov 0001; Laura Kovács
Document Type
Proceedings Paper
Year published
2020
Published
in 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). in LIPIcs
Volume: 171, Pages: 20:1-20:22
Indexing
Publication Identifiers
DBLP: conf/concur/WagemakerBDKR020
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.