F. Aarts, F. Heidarian, and F. Vaandrager, A Theory of History Dependent Abstractions for Learning Interface Automata, In CONCUR LNCS, vol.7454, pp.240-255, 2012.
DOI : 10.1007/978-3-642-32940-1_18

F. Aarts, B. Jonsson, and J. Uijen, Generating models of infinite-state communication protocols using regular inference with abstraction, ICTSS, pp.188-204, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00767416

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

A. Marek and . Bednarczyk, Categories of asynchronous systems, 1987.

E. Best, R. R. Devillers, A. Kiehn, and L. Pomello, Concurrent bisimulations in Petri nets, Acta Informatica, vol.XI, issue.3, pp.231-264, 1991.
DOI : 10.1007/BF01178506

P. Degano, R. D. Nicola, and U. Montanari, Partial orderings descriptions and observations of nondeterministic concurrent processes, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pp.438-466, 1989.
DOI : 10.1007/BFb0013030

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

U. Fahrenberg, Higher-Dimensional Automata from a Topological Viewpoint, 2005.

L. Fajstrup, Dipaths and dihomotopies in a cubical complex, Advances in Applied Mathematics, vol.35, issue.2, pp.188-206, 2005.
DOI : 10.1016/j.aam.2005.02.003

L. Fajstrup, M. Raussen, and . Goubault, Algebraic topology and concurrency, Theoretical Computer Science, vol.357, issue.1-3, pp.241-278, 2006.
DOI : 10.1016/j.tcs.2006.03.022

L. Fajstrup and J. Rosick´yrosick´y, A convenient category for directed homotopy, Theor. Appl. Cat, vol.21, pp.7-20, 2008.

S. B. Fröschle and T. T. Hildebrandt, On plain and hereditary history-preserving bisimulation, MFCS, pp.354-365, 1999.

P. Gaucher, Homotopy invariants of higher dimensional categories and concurrency in computer science, Mathematical Structures in Computer Science, vol.10, issue.4, pp.481-524, 2000.
DOI : 10.1017/S0960129500003182

P. Gaucher, About the globular homology of higher dimensional automata, Cah. Top. Géom. Diff. Cat, vol.43, issue.2, pp.107-156, 2002.

P. Gaucher, Homotopical interpretation of globular complex by multipointed d-space, Theor. Appl. Cat, vol.22, pp.588-621, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00495657

P. Gaucher, Towards a homotopy theory of higher dimensional transition systems, Theor. Appl. Cat, vol.25, pp.295-341, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00532852

E. Goubault, E. Goubault, and T. P. Jensen, Geometry and concurrency: A user's guide [18] ´ Eric Goubault. Labelled cubical sets and asynchronous transition systems: an adjunction Homology of higher dimensional automata Eric Goubault and Samuel Mimram. Formal relationships between geometrical and classical models for concurrency, CMCIM, pp.411-425, 1992.

J. Hayman and G. Winskel, The unfolding of general Petri nets, FSTTCS, volume 2 of LIPIcs Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.223-234, 2008.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.5460

M. Jurdzi´nskijurdzi´nski, M. Nielsen, and J. Srba, Undecidability of domino games and hhp-bisimilarity

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.522.1165

A. W. Mazurkiewicz, Concurrent Program Schemes and their Interpretations, DAIMI Report Series, vol.6, issue.78, 1977.
DOI : 10.7146/dpb.v6i78.7691

U. Montanari and M. Pistore, An Introduction to History Dependent Automata, Electronic Notes in Theoretical Computer Science, vol.10, pp.170-188, 1997.
DOI : 10.1016/S1571-0661(05)80696-6

U. Montanari and M. Pistore, Minimal transition systems for history-preserving bisimulation, STACS, pp.413-425, 1997.
DOI : 10.1007/BFb0023477

M. Nielsen, G. D. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981.
DOI : 10.1016/0304-3975(81)90112-2

M. R. David and . Park, Concurrency and automata on infinite sequences, TCS, pp.167-183, 1981.

A. Carl and . Petri, Kommunikation mit Automaten, Institut fr Instrumentelle Mathematik, 1962.

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

M. Alexander, B. A. Rabinovich, and . Trakhtenbrot, Behavior structures and nets, Fund. Inf, vol.11, issue.4, pp.357-403, 1988.

M. W. Shields, Concurrent Machines, The Computer Journal, vol.28, issue.5, pp.449-465, 1985.
DOI : 10.1093/comjnl/28.5.449
URL : http://comjnl.oxfordjournals.org/cgi/content/short/28/5/449

S. Staton and G. Winskel, On the Expressivity of Symmetry in Event Structures, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.392-401, 2010.
DOI : 10.1109/LICS.2010.37

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

R. J. Van-glabbeek and U. Goltz, Refinement of actions and equivalence notions for concurrent systems, MFCS, pp.237-248, 1989.
DOI : 10.1007/s002360000041

G. Winskel and M. Nielsen, Models for concurrency, Handbook of Logic in Computer Science, pp.1-148, 1995.