Geodesic
Open maps and behavioural equivalences for timed stable event structures
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 8 (2008) no. 2, pp. 14-29

Voir la notice de l'article provenant de la source Math-Net.Ru

Using methods of category theory, the paper introduces and investigates timed variants of partial-order based equivalence notions for concurrent and real-time processes represented by timed stable event structures. In particular, categories of the models under consideration are developed, and open maps based characterizations of timed variants of (Pratt trace, trace, testing and history hereditary preserving bisimulation) equivalences are provided. 
@article{VNGU_2008_8_2_a1,
     author = {M. V. Andreeva},
     title = {Open maps and behavioural equivalences for timed stable event structures},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {14--29},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2008},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a1/}
}
TY  - JOUR
AU  - M. V. Andreeva
TI  - Open maps and behavioural equivalences for timed stable event structures
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2008
SP  - 14
EP  - 29
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a1/
LA  - ru
ID  - VNGU_2008_8_2_a1
ER  - 
%0 Journal Article
%A M. V. Andreeva
%T Open maps and behavioural equivalences for timed stable event structures
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2008
%P 14-29
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a1/
%G ru
%F VNGU_2008_8_2_a1
M. V. Andreeva. Open maps and behavioural equivalences for timed stable event structures. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 8 (2008) no. 2, pp. 14-29. http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a1/