TY  - RPRT
TI  - Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic
AU  - Edgar G. Daylight
AU  - Sandeep K. Shukla
AU  - Davide Sergio
PY  - 2009
DO  - 10.4204/eptcs.8.3
UR  - https://arxiv.org/abs/0911.2034
ID  - 0911.2034
ER  -