@book{datc,
  author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
  title = {{Directed Algebraic Topology and Concurrency}},
  publisher = {Springer International Publishing},
  year = {2016},
  doi = {10.1007/978-3-319-15398-8},
  isbn = {978-3-319-15397-1},
  url = {http://www.springer.com/fr/book/9783319153971},
  keywords = {concurrency,book}
}
@incollection{gsac,
  year = {2015},
  isbn = {978-3-662-48652-8},
  booktitle = {Distributed Computing},
  volume = {9363},
  series = {Lecture Notes in Computer Science},
  editor = {Moses, Yoram},
  doi = {10.1007/978-3-662-48653-5_29},
  title = {From Geometric Semantics to Asynchronous Computability},
  url = {http://dx.doi.org/10.1007/978-3-662-48653-5_29},
  publisher = {Springer Berlin Heidelberg},
  author = {Goubault, Éric and Mimram, Samuel and Tasson, Christine},
  pages = {436-451},
  language = {English},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_podc2015.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_disc2015_slides.pdf},
  keywords = {concurrency}
}
@article{apcs14,
  year = {2014},
  issn = {0927-2852},
  journal = {Applied Categorical Structures},
  doi = {10.1007/s10485-014-9383-6},
  title = {Iterated Chromatic Subdivisions are Collapsible},
  url = {http://dx.doi.org/10.1007/s10485-014-9383-6},
  publisher = {Springer Netherlands},
  author = {Éric Goubault and Samuel Mimram and Christine Tasson},
  pages = {1–42},
  language = {English},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_subdivision.pdf},
  keywords = {concurrency,journal}
}
@article{Mimram2013283,
  author = {Samuel Mimram and Cinzia Di Giusto},
  title = {{A Categorical Theory of Patches}},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {298},
  number = {0},
  pages = {283–307},
  year = {2013},
  note = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX},
  issn = {1571-0661},
  doi = {http://dx.doi.org/10.1016/j.entcs.2013.09.018},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066113000649},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_ctp_slides.pdf},
  eprint = {1311.3903},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_ctp.pdf},
  keywords = {concurrency,conference}
}
@article{Goubault2013179,
  author = {{\'E}ric Goubault and Tobias Heindel and Samuel Mimram},
  title = {{A Geometric View of Partial Order Reduction}},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {298},
  number = {0},
  pages = {179–195},
  year = {2013},
  note = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX},
  issn = {1571-0661},
  doi = {http://dx.doi.org/10.1016/j.entcs.2013.09.013},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066113000595},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_expor2.pdf},
  keywords = {concurrency,conference}
}
@incollection{ts,
  author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
  year = {2012},
  isbn = {978-3-642-28868-5},
  booktitle = {Programming Languages and Systems},
  volume = {7211},
  series = {Lecture Notes in Computer Science},
  editor = {Helmut Seidl},
  doi = {10.1007/978-3-642-28869-2_14},
  title = {{Trace Spaces: An Efficient New Technique for State-Space Reduction}},
  url = {http://dx.doi.org/10.1007/978-3-642-28869-2_14},
  publisher = {Springer Berlin Heidelberg},
  pages = {274–294},
  eprint = {1204.0414},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_ts.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/mimram_esop12_slides.pdf},
  keywords = {concurrency,conference}
}
@article{Goubault201277,
  author = {\'Eric Goubault and Samuel Mimram},
  title = {{Formal Relationships Between Geometrical and Classical Models for Concurrency}},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {283},
  number = {0},
  pages = {77–109},
  year = {2012},
  note = {Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO)},
  issn = {1571-0661},
  doi = {http://dx.doi.org/10.1016/j.entcs.2012.05.007},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066112000084},
  eprint = {1004.2818},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_getco10.pdf},
  keywords = {concurrency,journal}
}
@incollection{safecomp,
  author = {Richard Bonichon and Géraud Canet and Loïc Correnson and Eric Goubault and Emmanuel Haucourt and Michel Hirschowitz and Sébastien Labbé and Samuel Mimram},
  year = {2011},
  isbn = {978-3-642-24269-4},
  booktitle = {Computer Safety, Reliability, and Security},
  volume = {6894},
  series = {Lecture Notes in Computer Science},
  editor = {Francesco Flammini and Sandro Bologna and Valeria Vittorini},
  doi = {10.1007/978-3-642-24270-0_7},
  title = {{Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software}},
  url = {http://dx.doi.org/10.1007/978-3-642-24270-0_7},
  publisher = {Springer Berlin Heidelberg},
  pages = {85–98},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_safecomp11.pdf},
  keywords = {concurrency,conference}
}
@incollection{fag,
  year = {2010},
  isbn = {978-3-642-13961-1},
  booktitle = {Programs, Proofs, Processes},
  volume = {6158},
  series = {Lecture Notes in Computer Science},
  editor = {Fernando Ferreira and Benedikt Löwe and Elvira Mayordomo and Luís Mendes Gomes},
  doi = {10.1007/978-3-642-13962-8_37},
  title = {{Focusing in Asynchronous Games}},
  url = {http://dx.doi.org/10.1007/978-3-642-13962-8_37},
  publisher = {Springer Berlin Heidelberg},
  author = {Samuel Mimram},
  pages = {331–341},
  eprint = {1004.3134},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_focusing_ag.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_cie10_slides.pdf},
  keywords = {concurrency,conference}
}
@incollection{ag4,
  year = {2007},
  isbn = {978-3-540-74406-1},
  booktitle = {CONCUR 2007 – Concurrency Theory},
  volume = {4703},
  series = {Lecture Notes in Computer Science},
  editor = {Luís Caires and VascoT. Vasconcelos},
  doi = {10.1007/978-3-540-74407-8_27},
  title = {{Asynchronous Games: Innocence Without Alternation}},
  url = {http://dx.doi.org/10.1007/978-3-540-74407-8_27},
  publisher = {Springer Berlin Heidelberg},
  author = {Paul-André Melliès and Samuel Mimram},
  pages = {395–411},
  eprint = {0706.1118},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_concur07.pdf},
  keywords = {concurrency,conference}
}
@unpublished{mimram:cat0,
  author = {{\'E}ric Goubault and Samuel Mimram},
  title = {{Directed Homotopy in Non-Positively Curved Spaces}},
  note = {Submitted},
  year = {2016},
  keywords = {submitted,concurrency},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_cat0.pdf}
}
@unpublished{mimram:views,
  author = {{\'E}ric Goubault and Samuel Mimram and Christine Tasson},
  title = {{Geometric and Combinatorial Views on Asynchronous Computability}},
  note = {Submitted},
  year = {2016},
  keywords = {submitted,concurrency},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_views.pdf}
}
@unpublished{agcg,
  author = {Paul-André Melliès and Samuel Mimram},
  title = {{From Asynchronous Games to Concurrent Games}},
  note = {Unpublished manuscript},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_galop08.pdf},
  year = {2008},
  keywords = {concurrency}
}