 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00495625, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Discrete Mathematics and Theoretical Computer Science 8, 1 (2006) p. 249-272 |
|
|
|
|
| A Cartesian closed category of event structures with quotients |
|
|
| Samy Abbes 1 |
|
|
| (2006) |
|
|
|
| We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion of quotient event structure is defined within it. We study in particular the topological space of maximal configurations of quotient event structures. We introduce the compression of event structures as an example of quotient: the compression of an event structure E is a minimal event structure with the same space of maximal configurations as E. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Réseaux et télécommunications |
| hal-00495625, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00495625 | |
| oai:hal.archives-ouvertes.fr:hal-00495625 | |
| Contributeur : Samy Abbes | |
| Soumis le : Lundi 28 Juin 2010, 12:39:13 | |
| Dernière modification le : Lundi 28 Juin 2010, 12:39:13 | |
