A projective formalism applied to topological and probabilistic event structures
Samy Abbes · Mathematical Structures in Computer Science · 2007
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 from both a topological and a probabilistic viewpoint. We give probability measure extension theorems in this framework.