J. Adámek, H. Herrlich, J. Rosick´yrosick´y, and W. Tholen, Weak factorization systems and topological functors, Applied Categorical Structures, vol.10, issue.3, pp.237-249, 2002.
DOI : 10.1023/A:1015270120061

U. Fahrenberg, A Category of Higher-Dimensional Automata, FOS- SACS, pp.187-201, 2005.
DOI : 10.1007/978-3-540-31982-5_12

U. Fahrenberg and A. Legay, History-preserving bisimilarity for higher-dimensional automata via open maps. CoRR, abs/1209, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01087933

A. Joyal, M. Nielsen, and G. Winskel, Bisimulation from Open Maps, BRICS Report Series, vol.1, issue.7, pp.164-185, 1996.
DOI : 10.7146/brics.v1i7.21663

A. Kurz and J. Rosick´yrosick´y, Weak Factorizations, Fractions and Homotopies, Applied Categorical Structures, vol.127, issue.2, pp.141-160, 2005.
DOI : 10.1007/s10485-004-6730-z

V. Pratt, Modeling concurrency with geometry, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.311-322, 1991.
DOI : 10.1145/99583.99625

R. J. Van-glabbeek, Bisimulations for higher dimensional automata. Email message, 1991.

R. J. Van-glabbeek, On the expressiveness of higher dimensional automata, Theoretical Computer Science, vol.356, issue.3, pp.265-290, 2006.
DOI : 10.1016/j.tcs.2006.02.012