Event structures for mixed choice - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Event structures for mixed choice

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02167420 , version 1

Citer

Marc de Visme. Event structures for mixed choice. The 30th International Conference on Concurrency Theory, CONCUR 2019, Aug 2019, Amsterdam, Netherlands. ⟨hal-02167420⟩
82 Consultations
124 Téléchargements

Partager

More