@article(coleman2007structural,
author = {Joey~W Coleman and Cliff~B Jones},
year = {2007},
title = {A structural proof of the soundness of rely/guarantee rules},
journal = {Journal of Logic and Computation},
volume = {17},
number = {4},
pages = {807--841},
doi = {10.1093/logcom/exm030},
)
@inproceedings(cousot1977abstract,
author = {Patrick Cousot and Radhia Cousot},
year = {1977},
title = {Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints},
booktitle = {Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
pages = {238--252},
doi = {10.1145/512950.512973},
)
@article(dijkstra1965solution,
author = {Edsger~Wybe Dijkstra},
year = {1965},
title = {Solution of a problem in concurrent programming control},
journal = {Communications of the ACM},
volume = {8},
number = {9},
pages = {569},
doi = {10.1007/978-3-642-48354-7\_10},
)
@inproceedings(fajstrup2012trace,
author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
year = {2012},
title = {Trace spaces: An efficient new technique for state-space reduction},
booktitle = {European Symposium on Programming},
organization = {Springer},
pages = {274--294},
doi = {10.1007/978-3-642-28869-2\_14},
)
@incollection(ts,
author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
year = {2012},
title = {{Trace Spaces: An Efficient New Technique for State-Space Reduction}},
editor = {Helmut Seidl},
booktitle = {Programming Languages and Systems},
series = {Lecture Notes in Computer Science},
volume = {7211},
publisher = {Springer Berlin Heidelberg},
pages = {274\IeC{\textendash}294},
doi = {10.1007/978-3-642-28869-2\_14},
eprint = {1204.0414},
)
@book(datc,
author = {Lisbeth Fajstrup and {\'E}ric Goubault and Emmanuel Haucourt and Samuel Mimram and Martin Raussen},
year = {2016},
title = {{Directed Algebraic Topology and Concurrency}},
publisher = {Springer International Publishing},
doi = {10.1007/978-3-319-15398-8},
)
@article(fajstrup2006algebraic,
author = {Lisbeth Fajstrup and Rau{\ss}en, Martin and {\'E}ric Goubault},
year = {2006},
title = {Algebraic topology and concurrency},
journal = {Theoretical Computer Science},
volume = {357},
number = {1-3},
pages = {241--278},
doi = {10.1016/j.tcs.2006.03.022},
)
@article(girard2001locus,
author = {Jean-Yves Girard},
year = {2001},
title = {Locus solum: From the rules of logic to the logic of rules},
journal = {Mathematical structures in computer science},
volume = {11},
number = {3},
pages = {301},
doi = {10.1017/S096012950100336X},
)
@book(Godefroid95:por,
author = {Patrice Godefroid},
year = {1996},
title = {Partial-Order Methods for the Verification of Concurrent Systems},
series = {Lecture Notes in Computer Science},
volume = {1},
publisher = {Springer, Berlin, Heidelberg},
doi = {10.1007/3-540-60761-7},
)
@article(goubault:geom-por,
author = {{\'E}.~Goubault and T.~Heindel and S.~Mimram},
year = {2013},
title = {{A geometric view of partial order reduction}},
journal = {{Electronic Notes in Theoretical Computer Science}},
volume = {298},
pages = {179--195},
doi = {10.1016/j.entcs.2013.09.013},
)
@article(goubault2003some,
author = {{\'E}ric Goubault},
year = {2003},
title = {Some geometric perspectives in concurrency theory},
journal = {Homology, Homotopy and Applications},
volume = {5},
number = {2},
pages = {95--136},
doi = {10.4310/HHA.2003.v5.n2.a5},
)
@inproceedings(goubault2005practical,
author = {{\'E}ric Goubault and Emmanuel Haucourt},
year = {2005},
title = {A practical application of geometric semantics to static analysis of concurrent programs},
booktitle = {International Conference on Concurrency Theory},
organization = {Springer},
pages = {503--517},
doi = {10.1007/11539452\_38},
)
@article(haucourt:geom-cons,
author = {Emmanuel Haucourt},
year = {2018},
title = {The geometry of conservative programs},
journal = {Mathematical Structures in Computer Science},
volume = {28},
number = {10},
pages = {1723\IeC{\textendash}1769},
doi = {10.1017/S0960129517000226},
)
@misc(git,
author = {Samuel Mimram and Aly-Bora Ulusoy},
year = {2021},
title = {Sparkling},
note = {Available at \url{https://smimram.github.io/sparkling/}},
)
@article(o2007resources,
author = {Peter~W O'Hearn},
year = {2007},
title = {Resources, concurrency, and local reasoning},
journal = {Theoretical computer science},
volume = {375},
number = {1-3},
pages = {271--307},
doi = {10.1007/978-3-540-28644-8\_4},
)
@article(owicki1976axiomatic,
author = {Susan Owicki and David Gries},
year = {1976},
title = {{An axiomatic proof technique for parallel programs I}},
journal = {Acta informatica},
volume = {6},
number = {4},
pages = {319--340},
doi = {10.1007/978-1-4612-6315-9\_12},
)