Geodesic
Logic unification behavioral equivalences of timed event structures
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 1, pp. 32-46

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

The intention of the paper is to provide a uniform logic characteristic for timed extensions of partial order based equivalences (pomset trace equivalence, testing equivalence, history preserving bisimulation and hereditary history preserving bisimulation) in the setting of a true concurrency model – timed event structures. For this purpose, we use open maps based characterizations of the equivalences and the logics of path assertions.
Keywords: timed event structures, behaviour equivalences, category theory, logic characteristic.
Mots-clés : unification 
@article{VNGU_2013_13_1_a3,
     author = {N. S. Gribovskaya},
     title = {Logic unification behavioral equivalences of timed event structures},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {32--46},
     publisher = {mathdoc},
     volume = {13},
     number = {1},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2013_13_1_a3/}
}
TY  - JOUR
AU  - N. S. Gribovskaya
TI  - Logic unification behavioral equivalences of timed event structures
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2013
SP  - 32
EP  - 46
VL  - 13
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2013_13_1_a3/
LA  - ru
ID  - VNGU_2013_13_1_a3
ER  - 
%0 Journal Article
%A N. S. Gribovskaya
%T Logic unification behavioral equivalences of timed event structures
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2013
%P 32-46
%V 13
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2013_13_1_a3/
%G ru
%F VNGU_2013_13_1_a3
N. S. Gribovskaya. Logic unification behavioral equivalences of timed event structures. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 1, pp. 32-46. http://geodesic.mathdoc.fr/item/VNGU_2013_13_1_a3/