A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
On Algebraic Abstractions for Concurrent Separation Logics (artefact)
[article]
2020
Zenodo
This artefact is a companion to the paper On Algebraic Abstractions for Concurrent Separation Logics. The artefact contains Coq sources of the developments presented in the submission. The artefact supports the developments paper in both a theoretical and practical way. First, it provides a complete bottom-up mechanization of partial commutative monoids (PCM), separating relations, PCM morphisms, and the related constructions. The artefact formalizes all the concepts defined in the paper,
doi:10.5281/zenodo.4118715
fatcat:dljkplxh4jhlni4ib5ikyjxwnq