TY  - RPRT
TI  - A Game Semantics of Concurrent Separation Logic
AU  - Paul-André Melliès
AU  - Léo Stefanesco
PY  - 2017
UR  - https://arxiv.org/abs/1710.02332
ID  - 1710.02332
ER  -