Probabilistic Event Structures and Domains - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2006

Probabilistic Event Structures and Domains

Résumé

This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is localised to cells, where conflict arises; in which case probabilistic independence coincides with causal independence. An event structure is associated with a domain—that of its configurations ordered by inclusion. In domain theory probabilistic processes are denoted by continuous valuations on a domain. A key result of this paper is a representation theorem showing how continuous valuations on the domain of a confusion-free event structure correspond to the probabilistic event structures it supports. We explore how to extend probability to event structures which are not confusion-free via two notions of probabilistic runs of a general event structure. Finally, we show how probabilistic correlation and probabilistic event struc- tures with confusion can arise from event structures which are originally confusion-free by using morphisms to rename and hide events.
Fichier non déposé

Dates et versions

hal-00148921 , version 1 (23-05-2007)

Identifiants

  • HAL Id : hal-00148921 , version 1

Citer

Daniele Varacca, Hagen Völzer, Glynn Winskel. Probabilistic Event Structures and Domains. Theoretical Computer Science, 2006, 358 (2-3), pp.173-199. ⟨hal-00148921⟩
61 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More