C. Aubin, A. Aubin, . Cellina, J. Hans-, G. Baues et al., Differential Inclusions, Set-Valued Maps And Viability Theory. Number 264 in Grundl, Baues and Wirsching, vol.38, pp.187-211, 1984.

J. Bergner, A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc, 2004.

, Directed Topological Complexity of Spheres, 2019.

G. Dubut, G. Dubut, E. Goubault, and J. Goubault-larrecq, Natural homology. In Automata, Languages, and Programming -42nd International Colloquium, ICALP 2015, pp.171-183, 2015.

G. Dubut, G. Dubut, É. Goubault, and J. Goubault-larrecq, Directed homology theories and Eilenberg-Steenrod axioms, Applied Categorical Structures, pp.1-33, 2016.

. Fajstrup, Lisbeth Fajstrup. Dipaths and Dihomotopies in a Cubical Complex, Adv. Appl. Math, vol.35, issue.2, 2005.

;. M. Farber and . Farber, Topological complexity of motion planning, Discrete Comput. Geom, vol.29, issue.2, p.211221, 2003.

;. M. Farber and . Farber, Invitation to Topological Robotics. Zurich lectures in advanced mathematics, 2008.

E. Goubault, ;. Fajstrup, . Goubault, M. Haucourt, R. Goubault et al., Directed Algebraic Topology and Concurrency, 2016.

G. Grandis, Directed Algebraic Topology, Models of non-reversible worlds, 2009.

. Raussen-;-martin-raussen, Trace spaces in a pre-cubical complex, Topology and its Applications, vol.156, issue.9, pp.1718-1728, 2009.