 |
|
|
|
| HAL : hal-00350199, version 1 |
| DOI : 10.1017/S096012950700607X |
| Fiche détaillée |  Récupérer au format |
|
|
| Mathematical Structures in Computer Science 17, 4 (2007) 819-837 |
|
|
|
|
| A projective formalism applied to topoligical and probabilistic event structures |
|
|
| Samy Abbes 1 |
|
|
| (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 both from a topological and from a probabilistic viewpoint. We give probability measure extension theorems in this framework. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Réseaux et télécommunications |
|
|
| probabilistic event structure – projective system – measure extension theorem |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00350199, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00350199 | |
| oai:hal.archives-ouvertes.fr:hal-00350199 | |
| Contributeur : Samy Abbes | |
| Soumis le : Mardi 6 Janvier 2009, 11:02:59 | |
| Dernière modification le : Mardi 6 Janvier 2009, 11:27:49 | |
