Geodesic
A Cartesian closed category of event structures with quotients
Discrete mathematics & theoretical computer science, Tome 8 (2006).

Voir la notice de l'article provenant de la source Episciences

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. 
@article{DMTCS_2006_8_a15,
     author = {Abbes, Samy},
     title = {A {Cartesian} closed category of event structures with quotients},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {8},
     year = {2006},
     doi = {10.46298/dmtcs.374},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.374/}
}
TY  - JOUR
AU  - Abbes, Samy
TI  - A Cartesian closed category of event structures with quotients
JO  - Discrete mathematics & theoretical computer science
PY  - 2006
VL  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.374/
DO  - 10.46298/dmtcs.374
LA  - en
ID  - DMTCS_2006_8_a15
ER  - 
%0 Journal Article
%A Abbes, Samy
%T A Cartesian closed category of event structures with quotients
%J Discrete mathematics & theoretical computer science
%D 2006
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.374/
%R 10.46298/dmtcs.374
%G en
%F DMTCS_2006_8_a15
Abbes, Samy. A Cartesian closed category of event structures with quotients. Discrete mathematics & theoretical computer science, Tome 8 (2006). doi : 10.46298/dmtcs.374. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.374/

Cité par Sources :