A projective formalism applied to topoligical and probabilistic event structures

Samy Abbes (1)

1 PPS - Preuves, Programmes et Systèmes

This paper introduces projective systems for topological and probabilistic event structures. The projective formalism is used for studying the domain of configurations of a prime event structure and its space of maximal elements. This is done both from a topological and from a probabilistic viewpoint. We give probability measure extension theorems in this framework.

Mots clés: probabilistic event structure; projective system; measure extension theorem

Domaines: Réseaux et télécommunications [cs.NI]

Samy Abbes. A projective formalism applied to topoligical and probabilistic event structures. Mathematical Structures in Computer Science, 2007, 17 (4), pp.819-837. ⟨10.1017/S096012950700607X⟩. ⟨hal-00350199⟩