TY  - RPRT
TI  - Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
AU  - Aleksandar Nanevski
AU  - Anindya Banerjee
AU  - Germán Andrés Delbianco
AU  - Ignacio Fábregas
PY  - 2019
UR  - https://arxiv.org/abs/1904.07136
ID  - 1904.07136
ER  -