Filipe Militão, Jonathan Aldrich, Luís Caires. Rely-Guarantee Protocols. In Richard Jones, editor, ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings. Volume 8586 of Lecture Notes in Computer Science, pages 334-359, Springer, 2014. [doi]
@inproceedings{MilitaoAC14-0, title = {Rely-Guarantee Protocols}, author = {Filipe Militão and Jonathan Aldrich and Luís Caires}, year = {2014}, doi = {10.1007/978-3-662-44202-9_14}, url = {http://dx.doi.org/10.1007/978-3-662-44202-9_14}, researchr = {https://researchr.org/publication/MilitaoAC14-0}, cites = {0}, citedby = {0}, pages = {334-359}, booktitle = {ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings}, editor = {Richard Jones}, volume = {8586}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-662-44201-2}, }