Rely-Guarantee Protocols.

Filipe Milito, Jonathan Aldrich, Lus Caires

Browse the full ECOOP paper archive.