Login

Publication

Detail

Publication date: 01/06/2014

Rely-Guarantee Protocols

Authors

Filipe Militão, Jonathan Aldrich, Luis Caires,
URL http://www.cs.cmu.edu/~foliveir/papers/ecoop14-paper.pdf
Publisher Springer
URL http://www.cs.cmu.edu/~foliveir/papers/ecoop14-paper.pdf
Publisher Springer