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