On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.

Xinyu Feng, Rodrigo Ferreira, Zhong Shao

Browse the full ESOP paper archive.