2026-08-10T23:32:01Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10913 2024-03-06T10:47:10Z ddc:004 open_access

Event Structures for Mixed Choice de Visme, Marc probability nondeterminism concurrency event structures CCS 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marc de Visme 2019 Is Part Of LIPIcs, Volume 140, 30th International Conference on Concurrency Theory (CONCUR 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2019.11 urn:nbn:de:0030-drops-109137 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.11 eng https://creativecommons.org/licenses/by/3.0/legalcode