Independence and Concurrent Separation Logic

Jonathan Hayman Glynn Winskel Independence and Concurrent Separation Logic http://arxiv.org/abs/0802.0820 2008 CoRR abs/0802.0820 db/journals/corr/corr0802.html#abs-0802-0820 informal publication