Independence and Concurrent Separation Logic.

Jonathan Hayman, Glynn Winskel

Browse the full LICS paper archive.