TY  - CPAPER
AU  - Farka, Frantisek
AU  - Nanevski, Aleksandar
AU  - Banerjee, Anindya
AU  - Delbianco, Germán Andrés
AU  - Fábregas Alfaro, Ignacio
PY  - 2021
DO  - 10.1145/3434286
UR  - https://hdl.handle.net/20.500.14352/98240
AB  - Concurrent separation logic is distinguished by transfer of state ownership upon parallel composition and framing. The algebraic structure that underpins ownership transfer is that of partial commutative monoids (PCMs). Extant research considers...
LA  - eng
TI  - On algebraic abstractions for concurrent separation logics
TY  - conference paper
ER  -