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