I. , The virtual Haken conjecture, With an appendix by Ian Agol, pp.1045-1087, 2013.

I. , Virtual properties of 3-manifolds, Proceedings of the International Congress of Mathematicians, pp.157-186, 2014.

F. Ardila, M. Owen, and S. Sullivant, Geodesics in CAT(0) cubical complexes, Advances in Applied Mathematics, vol.48, issue.1, pp.142-163, 2012.
DOI : 10.1016/j.aam.2011.06.004

M. R. Assous, V. Bouchitté, C. Charretton, and B. Rozoy, Finite labelling problem in event structures, Theoretical Computer Science, vol.123, issue.1, pp.9-19, 1994.
DOI : 10.1016/0304-3975(94)90065-5

S. P. Avann, Metric ternary distributive semi-lattices, Proceedings of the American Mathematical Society, vol.12, issue.3, pp.407-414, 1961.
DOI : 10.1090/S0002-9939-1961-0125807-5

E. Badouel, . Ph, J. Darondeau, and . Raoult, Context-Free Event Domains Are Recognizable, Information and Computation, vol.149, issue.2, pp.134-172, 1999.
DOI : 10.1006/inco.1998.2752
URL : https://hal.archives-ouvertes.fr/inria-00074095

H. Bandelt and V. Chepoi, Metric graph theory and geometry: a survey, Surveys on Discrete and Computational Geometry: Twenty Years Later, pp.49-86, 2008.
DOI : 10.1090/conm/453/08795

H. Bandelt and M. Van, Embedding Topological Median Algebras in Products of Dendrons, Proc. London Math. Soc, pp.3-58439, 1989.
DOI : 10.1112/plms/s3-58.3.439

J. Barthélemy and J. Constantin, Median graphs, parallelism and posets, Discrete Mathematics, vol.111, issue.1-3, pp.49-63, 1993.
DOI : 10.1016/0012-365X(93)90140-O

M. Bridson and H. Wilton, On the recognition problem for vitrually special cube complexes. arXiv preprint, 2017.

M. R. Bridson and A. Haefliger, Metric Spaces of Non-Positive Curvature, volume 319 of Grundlehren der mathematischen Wissenschaften, 1999.

J. P. Burling, On coloring problems of prototypes, 1965.

J. Chalopin and V. Chepoi, A counterexample to Thiagarajan's conjecture on regular event structures. arXiv preprint, 2016.

J. Chalopin and V. Chepoi, A counterexample to Thiagarajan's conjecture on regular event structures, ICALP, volume 80 of LIPIcs Schloss Dagstuhl -Leibniz-Zentrum für Informatik, pp.1-101, 2017.

V. Chepoi, Classification of graphs by means of metric triangles, Metody Diskret. Analiz, issue.49, pp.75-93

V. Chepoi, Graphs of Some CAT(0) Complexes, Advances in Applied Mathematics, vol.24, issue.2, pp.125-179, 2000.
DOI : 10.1006/aama.1999.0677

V. Chepoi, Nice Labeling Problem for Event Structures: A Counterexample, SIAM Journal on Computing, vol.41, issue.4, pp.715-727, 2012.
DOI : 10.1137/110837760
URL : https://hal.archives-ouvertes.fr/hal-01198774

V. Chepoi, F. F. Dragan, B. Estellon, M. Habib, and Y. Vaxès, Diameters, centers, and approximating trees of delta-hyperbolic geodesic spaces and graphs, Symposium on Computational Geometry, pp.59-68, 2008.

V. Chepoi and M. F. Hagen, On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes, Journal of Combinatorial Theory, Series B, vol.103, issue.4, pp.428-467, 2013.
DOI : 10.1016/j.jctb.2013.04.003
URL : https://hal.archives-ouvertes.fr/hal-01199910

B. Courcelle, The monadic second-order logic of graphs, II: Infinite graphs of bounded width, Mathematical Systems Theory, vol.70, issue.1, pp.187-221, 1989.
DOI : 10.1145/321992.321997

B. Courcelle, The monadic second order logic of graphs VI: on several representations of graphs by relational structures, Discrete Applied Mathematics, vol.54, issue.2-3, pp.117-149, 1994.
DOI : 10.1016/0166-218X(94)90019-1

B. Courcelle and J. Engelfriet, Graph Structure and Monadic Second-Order Logic, volume 138 of Enciclopedia of Mathematics and its Applications Djokovi´cDjokovi´c. Distance-preserving subgraphs of hypercubes, J. Comb. Theory, Ser. B, vol.14, issue.3, pp.263-267, 1973.

M. Gromov, Hyperbolic Groups, Math. Sci. Res. Inst. Publ, vol.8, pp.75-263, 1987.
DOI : 10.1007/978-1-4613-9586-7_3

M. F. Hagen, Weak hyperbolicity of cube complexes and quasi-arboreal groups, Journal of Topology, vol.7, issue.2, pp.385-418, 2014.
DOI : 10.1112/jtopol/jtt027

F. Haglund, Aspects combinatoires de la théorie géométrique des groupes, 2008.

F. Haglund and D. T. Wise, Special Cube Complexes, Geometric and Functional Analysis, vol.17, issue.5, pp.1551-1620, 2008.
DOI : 10.1007/s00039-007-0629-4

F. Haglund and D. T. Wise, A combination theorem for special cube complexes, Annals of Mathematics, vol.176, issue.3, pp.1427-1482, 2012.
DOI : 10.4007/annals.2012.176.3.2
URL : http://annals.math.princeton.edu/wp-content/uploads/annals-v176-n3-p02-p.pdf

A. Hatcher, Algebraic Topology, 2002.

D. Kuske, Distributive lattices with a decidable monadic second order theory, Algebra Universalis, vol.48, issue.2, pp.183-207, 2002.
DOI : 10.1007/PL00012449

D. Kuske and M. Lohrey, Logical aspects of Cayley-graphs: the group case, Annals of Pure and Applied Logic, vol.131, issue.1-3, pp.263-286, 2005.
DOI : 10.1016/j.apal.2004.06.002
URL : https://doi.org/10.1016/j.apal.2004.06.002

P. Madhusudan, Model-checking trace event structures, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings., pp.371-380, 2003.
DOI : 10.1109/LICS.2003.1210077
URL : http://www-faculty.cs.uiuc.edu/~madhu/lics03.ps

R. Morin, Concurrent??Automata??vs.??Asynchronous??Systems, MFCS 2005, pp.686-698, 2005.
DOI : 10.1007/11549345_59

H. M. Mulder, The Interval Function of a Graph, Mathematical Centre tracts. Mathematisch Centrum, vol.132, 1980.

D. M. Müller and P. Schupp, The theory of ends, pushdown automata, and second-order logic, Theoretical Computer Science, vol.37, pp.51-75, 1985.
DOI : 10.1016/0304-3975(85)90087-8

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
URL : https://doi.org/10.1016/0304-3975(81)90112-2

M. Nielsen, G. Rozenberg, and P. S. Thiagarajan, Transition-Systems, Event Structures, and Unfoldings, Information and Computation, vol.118, issue.2, pp.191-207, 1995.
DOI : 10.1006/inco.1995.1062
URL : https://doi.org/10.1006/inco.1995.1062

M. Nielsen and P. S. Thiagarajan, Regular Event Structures and Finite Petri Nets: The Conflict-Free Case, ICATPN 2002, pp.335-351, 2002.
DOI : 10.1007/3-540-48068-4_20

N. Robertson and P. Seymour, Graph minors. II. Algorithmic aspects of tree-width, Journal of Algorithms, vol.7, issue.3, pp.309-322, 1986.
DOI : 10.1016/0196-6774(86)90023-4
URL : https://doi.org/10.1006/jctb.1999.1919

N. Robertson and P. Seymour, Graph minors. V. Excluding a planar graph, Journal of Combinatorial Theory, Series B, vol.41, issue.1, pp.92-114, 1986.
DOI : 10.1016/0095-8956(86)90030-4
URL : https://doi.org/10.1006/jctb.1999.1919

M. Roller, Poc sets, median algebras and group actions, 1998.

B. Rozoy and P. S. Thiagarajan, Event structures and trace monoids, Theoretical Computer Science, vol.91, issue.2, pp.285-313, 1991.
DOI : 10.1016/0304-3975(91)90087-I
URL : https://doi.org/10.1016/0304-3975(91)90087-i

M. Sageev, Ends of Group Pairs and Non-Positively Curved Cube Complexes, Proc. London Math. Soc, pp.3-71585, 1995.
DOI : 10.1112/plms/s3-71.3.585

L. Santocanale, A nice labelling for tree-like event structures of degree 3, Information and Computation, vol.208, issue.6, pp.652-665, 2010.
DOI : 10.1016/j.ic.2009.05.006
URL : https://hal.archives-ouvertes.fr/hal-00142349

D. Seese, The structure of the models of decidable monadic theories of graphs, Annals of Pure and Applied Logic, vol.53, issue.2, pp.169-195, 1991.
DOI : 10.1016/0168-0072(91)90054-P

P. S. Thiagarajan, Regular Trace Event Structures, BRICS Report Series, vol.3, issue.32, 1996.
DOI : 10.7146/brics.v3i32.20012
URL : https://tidsskrift.dk/brics/article/download/20012/17645

P. S. Thiagarajan, Regular Event Structures and Finite Petri Nets: A Conjecture, Formal and Natural Computing, pp.244-256, 2002.
DOI : 10.1007/3-540-45711-9_14

P. S. Thiagarajan and S. Yang, Rabin's theorem in the concurrency setting: A conjecture, Theoretical Computer Science, vol.546, pp.225-236, 2014.
DOI : 10.1016/j.tcs.2014.03.010

M. Van, Theory of convex structures

P. M. Winkler, Isometric embedding in products of complete graphs, Discrete Applied Mathematics, vol.7, issue.2, pp.221-225, 1984.
DOI : 10.1016/0166-218X(84)90069-6

G. , Events in computation, 1980.

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

D. T. Wise, Non-positively curved squared complexes, aperiodic tilings, and non-residually finite groups, 1996.

D. T. Wise, Complete square complexes, Commentarii Mathematici Helvetici, vol.82, issue.4, pp.683-724, 2007.
DOI : 10.4171/CMH/107

. Laboratoire-d-'informatique and . Systèmes, Email address: jeremie.chalopin@lis-lab