no code implementations • 23 Oct 2020 • František Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
This paper provides an algebraic formalization of ownership transfer in concurrent separation logic by means of structure-preserving partial functions (i. e., morphisms) between PCMs, and an associated notion of separating relations.
Programming Languages Logic in Computer Science