Xinyu Feng, Rodrigo Ferreira, Zhong Shao. On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. In Rocco De Nicola, editor, Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Volume 4421 of Lecture Notes in Computer Science, pages 173-188, Springer, 2007. [doi]
@inproceedings{FengFS07,
title = {On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning},
author = {Xinyu Feng and Rodrigo Ferreira and Zhong Shao},
year = {2007},
doi = {10.1007/978-3-540-71316-6_13},
url = {http://dx.doi.org/10.1007/978-3-540-71316-6_13},
tags = {logic},
researchr = {https://researchr.org/publication/FengFS07},
cites = {0},
citedby = {0},
pages = {173-188},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
editor = {Rocco De Nicola},
volume = {4421},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-71314-2},
}