TY  - RPRT
TI  - On Algebraic Abstractions for Concurrent Separation Logics
AU  - František Farka
AU  - Aleksandar Nanevski
AU  - Anindya Banerjee
AU  - Germán Andrés Delbianco
AU  - Ignacio Fábregas
PY  - 2021
DO  - 10.1145/3434286
UR  - https://arxiv.org/abs/2010.12686
ID  - 2010.12686
ER  -