Some geometric perspectives in concurrency theory. Goubault, Eric — 2003 Homology, Homotopy and Applications
Topological deformation of higher dimensional automata. Gaucher, Philippe; Goubault, Eric — 2003 Homology, Homotopy and Applications
On the geometry of intuitionistic S4 proofs. Goubault-Larrecq, Jean; Goubault, Éric — 2003 Homology, Homotopy and Applications
Covering space theory for directed topology. Goubault, Eric; Haucourt, Emmanuel; Krishnan, Sanjeevi — 2009 Theory and Applications of Categories [electronic only]