Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach.

Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri

Browse the full FM paper archive.