@inproceedings{DBLP:journals/corr/abs-2112-14055,
  author = {Samuel Mimram and
               Aly{-}Bora Ulusoy},
  editor = {Ana Sokolova},
  title = {Syntactic Regions for Concurrent Programs},
  booktitle = {Proceedings 37th Conference on Mathematical Foundations of Programming
               Semantics, {MFPS} 2021},
  series = {{EPTCS}},
  volume = {351},
  pages = {184–199},
  year = {2021},
  url = {https://doi.org/10.4204/EPTCS.351.12},
  doi = {10.4204/EPTCS.351.12},
  timestamp = {Thu, 17 Mar 2022 13:40:33 +0100},
  biburl = {https://dblp.org/rec/journals/corr/abs-2112-14055.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {concurrency},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_synreg.pdf},
  hal = {https://hal.science/hal-04244384}
}

@article{mimram:cat0,
  title = {{Directed Homotopy in Non-Positively Curved Spaces}},
  author = {Goubault, Eric and Mimram, Samuel},
  url = {https://lmcs.episciences.org/6634},
  journal = {{Logical Methods in Computer Science}},
  volume = {{Volume 16, Issue 3}},
  year = {2020},
  month = jul,
  doi = {10.23638/LMCS-16(3:4)2020},
  eprint = {1908.06684},
  eprinttype = {arxiv},
  keywords = {concurrency,journal},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_cat0.pdf},
  hal = {https://hal.science/hal-04244375}
}

@inproceedings{ledent_et_al:LIPIcs:2019:10936,
  author = {J{\'e}r{\'e}my Ledent and Samuel Mimram},
  title = {{A Sound Foundation for the Topological Approach to Task Solvability}},
  booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)},
  pages = {34:1–34:15},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-95977-121-4},
  issn = {1868-8969},
  year = {2019},
  volume = {140},
  editor = {Wan Fokkink and Rob van Glabbeek},
  publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2019/10936},
  urn = {urn:nbn:de:0030-drops-109365},
  doi = {10.4230/LIPIcs.CONCUR.2019.34},
  keywords = {concurrency,conference},
  hal = {https://hal.science/hal-04244357}
}

@inproceedings{goubault2018concurrent,
  title = {Concurrent Specifications Beyond Linearizability},
  author = {Goubault, {\'E}ric and Ledent, J{\'e}r{\'e}my and Mimram, Samuel},
  booktitle = {22nd International Conference on Principles of Distributed Systems (OPODIS 2018)},
  year = {2018},
  pages = {28:1–28:16},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-95977-098-9},
  issn = {1868-8969},
  volume = {125},
  publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2018/10088},
  urn = {urn:nbn:de:0030-drops-100888},
  doi = {10.4230/LIPIcs.OPODIS.2018.28},
  keywords = {concurrency,conference},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_csbl.pdf},
  hal_id = {hal-02155500},
  hal = {http://hal.science/hal-02155500}
}

@inproceedings{goubault_et_al:LIPIcs:2018:9839,
  author = {{\'E}ric Goubault and J{\'e}r{\'e}my Ledent and Samuel Mimram},
  title = {{On the Impossibility of Detecting Concurrency}},
  booktitle = {32nd International Symposium on Distributed Computing  (DISC 2018)},
  pages = {50:1–50:4},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-95977-092-7},
  issn = {1868-8969},
  year = {2018},
  volume = {121},
  editor = {Ulrich Schmid and Josef Widder},
  publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2018/9839},
  urn = {urn:nbn:de:0030-drops-98392},
  doi = {10.4230/LIPIcs.DISC.2018.50},
  keywords = {concurrency,conference},
  hal_id = {hal-02155495},
  hal = {http://hal.science/hal-02155495}
}

@article{mimram:views,
  author = {Goubault, {\'E}ric and Mimram, Samuel and Tasson, Christine},
  title = {Geometric and combinatorial views on asynchronous computability},
  journal = {Distributed Computing},
  year = {2018},
  day = {16},
  issn = {1432-0452},
  doi = {10.1007/s00446-018-0328-4},
  url = {https://doi.org/10.1007/s00446-018-0328-4},
  keywords = {journal,concurrency},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_views.pdf},
  hal_id = {hal-02155487},
  hal = {http://hal.science/hal-02155487}
}

@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},
  hal = {https://hal.science/hal-04244534}
}

@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,conference},
  hal_id = {hal-01207146},
  hal = {http://hal.science/hal-01207146}
}

@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},
  hal_id = {hal-00904156},
  hal = {http://hal.science/hal-00904156}
}

@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},
  hal = {http://hal.science/hal-00904156}
}

@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},
  hal_id = {cea-01836517},
  hal = {http://hal.science/cea-01836517}
}

@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},
  hal_id = {hal-00904156},
  hal = {http://hal.science/hal-00904156}
}

@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},
  hal_id = {inria-00473765},
  hal = {http://hal.science/inria-00473765}
}

@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},
  hal_id = {cea-01809015},
  hal = {http://hal.science/cea-01809015}
}

@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},
  hal_id = {inria-00473967},
  hal = {http://hal.science/inria-00473967}
}

@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},
  hal_id = {hal-00152707},
  hal = {http://hal.science/hal-00152707}
}

@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}
}