Event structures for mixed choice - Archive ouverte HAL
Conference Papers Year : 2019

Event structures for mixed choice

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.
Fichier principal
Vignette du fichier
Concur19full.pdf (584.33 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02167420 , version 1 (27-06-2019)

Identifiers

  • HAL Id : hal-02167420 , version 1

Cite

Marc de Visme. Event structures for mixed choice. The 30th International Conference on Concurrency Theory, CONCUR 2019, Aug 2019, Amsterdam, Netherlands. ⟨hal-02167420⟩
82 View
121 Download

Share

More