Verification of message passing concurrent systems (University of Oxford, 2015)

(untitled) - D'Osualdo, E