Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-00961117
Contributor : Samy Abbes <>
Submitted on : Thursday, March 20, 2014 - 8:39:21 AM
Last modification on : Saturday, March 28, 2020 - 2:11:08 AM
Long-term archiving on: : Friday, June 20, 2014 - 10:45:52 AM

File

457-1971-1-PB.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00961117, version 1

Collections

Citation

Samy Abbes. A Cartesian closed category of event structures with quotients. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2006, 8, pp.249--272. ⟨hal-00961117⟩

Share

Metrics

Record views

210

Files downloads

917