License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2019.11
URN: urn:nbn:de:0030-drops-109137
URL: http://drops.dagstuhl.de/opus/volltexte/2019/10913/
Go to the corresponding LIPIcs Volume Portal


de Visme, Marc

Event Structures for Mixed Choice

pdf-format:
LIPIcs-CONCUR-2019-11.pdf (0.6 MB)


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: 26.08.2019


DROPS-Home | Imprint | Privacy Published by LZI