Geodesic
Comparing equivalences on precubical sets and spaces
Matematičeskie trudy, Tome 16 (2013) no. 1, pp. 150-188

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

We study equivalences of concurrent processes represented by objects of algebraic topology. We use methods of category theory and consider precubical sets (analogs of semisimplicial sets) and precubical spaces (analogs of cell complexes). In particular, we consider categories of these objects and construct subcategories of path-objects. We define open morphisms with respect to these subcategories and formulate criteria for a morphism to be open. We prove that the equivalence of precubical sets (spaces) based on open morphisms coincides with a behavioral equivalence of concurrent processes. 
@article{MT_2013_16_1_a8,
     author = {E. S. Oshevskaya},
     title = {Comparing equivalences on precubical sets and spaces},
     journal = {Matemati\v{c}eskie trudy},
     pages = {150--188},
     publisher = {mathdoc},
     volume = {16},
     number = {1},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MT_2013_16_1_a8/}
}
TY  - JOUR
AU  - E. S. Oshevskaya
TI  - Comparing equivalences on precubical sets and spaces
JO  - Matematičeskie trudy
PY  - 2013
SP  - 150
EP  - 188
VL  - 16
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_2013_16_1_a8/
LA  - ru
ID  - MT_2013_16_1_a8
ER  - 
%0 Journal Article
%A E. S. Oshevskaya
%T Comparing equivalences on precubical sets and spaces
%J Matematičeskie trudy
%D 2013
%P 150-188
%V 16
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_2013_16_1_a8/
%G ru
%F MT_2013_16_1_a8
E. S. Oshevskaya. Comparing equivalences on precubical sets and spaces. Matematičeskie trudy, Tome 16 (2013) no. 1, pp. 150-188. http://geodesic.mathdoc.fr/item/MT_2013_16_1_a8/