Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic - Edgar G. Daylight; Sandeep K. Shukla; Davide Sergio (EXPRESS, 2009)