Vafeiadis, Viktor Max Planck Society;
Vafeiadis, V. (2011). Concurrent Separation Logic and Operational Semantics. Electronic Notes in Theoretical Computer Science, 276, 335-351.