Weak factorization systems and topological functors, Applied Categorical Structures, vol.10, issue.3, pp.237-249, 2002. ,
DOI : 10.1023/A:1015270120061
A Category of Higher-Dimensional Automata, FOS- SACS, pp.187-201, 2005. ,
DOI : 10.1007/978-3-540-31982-5_12
History-preserving bisimilarity for higher-dimensional automata via open maps. CoRR, abs/1209, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01087933
Bisimulation from Open Maps, BRICS Report Series, vol.1, issue.7, pp.164-185, 1996. ,
DOI : 10.7146/brics.v1i7.21663
Weak Factorizations, Fractions and Homotopies, Applied Categorical Structures, vol.127, issue.2, pp.141-160, 2005. ,
DOI : 10.1007/s10485-004-6730-z
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
Bisimulations for higher dimensional automata. Email message, 1991. ,
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