TY  - RPRT
TI  - Revisiting concurrent separation logic
AU  - Pedro Soares
AU  - António Ravara
AU  - Simão Melo de Sousa
PY  - 2017
DO  - 10.1016/j.jlamp.2017.02.004
UR  - https://arxiv.org/abs/1712.01631
ID  - 1712.01631
ER  -