[PPT] - Rely/Guarantee Reasoning for Asynchronous Programs Ivan Gavran 1 , PowerPoint Presentation