A Cartesian closed category of event structures with quotients - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Discrete Mathematics and Theoretical Computer Science Year : 2006

A Cartesian closed category of event structures with quotients

Abstract

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
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
68 View
748 Download

Altmetric

Share

Gmail Facebook X LinkedIn More