A Cartesian closed category of event structures with quotients - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2006

A Cartesian closed category of event structures with quotients

Résumé

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.
Fichier principal
Vignette du fichier
457-1971-1-PB.pdf (258.31 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00961117 , version 1 (20-03-2014)

Identifiants

Citer

Samy Abbes. A Cartesian closed category of event structures with quotients. Discrete Mathematics and Theoretical Computer Science, 2006, Vol. 8, pp.249--272. ⟨10.46298/dmtcs.374⟩. ⟨hal-00961117⟩
74 Consultations
820 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More