Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2019.11
URN: urn:nbn:de:0030-drops-109137
URL: https://drops.dagstuhl.de/opus/volltexte/2019/10913/
de Visme, Marc
Event Structures for Mixed Choice
| pdf-format: |
|
Abstract
In the context of models with mixed nondeterministic and probabilistic choice, we present a concurrent model based on partial orders, more precisely Winskel's event structures. We study its relationship with the interleaving-based model of Segala's probabilistic automata. Lastly, we use this model to give a truly concurrent semantics to an extension of CCS with probabilistic choice, and relate this concurrent semantics to the usual interleaving semantics, thus generalising existing results on CCS, event structures and labelled transition systems.
BibTeX - Entry
@InProceedings{devisme:LIPIcs:2019:10913,
author = {Marc de Visme},
title = {{Event Structures for Mixed Choice}},
booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)},
pages = {11:1--11:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-121-4},
ISSN = {1868-8969},
year = {2019},
volume = {140},
editor = {Wan Fokkink and Rob van Glabbeek},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10913},
URN = {urn:nbn:de:0030-drops-109137},
doi = {10.4230/LIPIcs.CONCUR.2019.11},
annote = {Keywords: probability, nondeterminism, concurrency, event structures, CCS}
}
| Keywords: | probability, nondeterminism, concurrency, event structures, CCS | |
| Seminar: | 30th International Conference on Concurrency Theory (CONCUR 2019) | |
| Issue date: | 2019 | |
| Date of publication: | 20.08.2019 |
