![](https://www.pdfsearch.io/img/7209bc15459a4514e5b8ac1b12a8eeb4.jpg) Date: 2017-10-04 11:31:52
| | Protocol-based Verification of Message-passing Parallel Programs Hugo A. L´opez, Eduardo R. B. Marques, Francisco Martins, C´esar Santos, Vasco T. Vasconcelos Nicholas Ng, Nobuko Yoshida University of LisbonAdd to Reading ListSource URL: proglang.informatik.uni-freiburg.deDownload Document from Source Website File Size: 4,22 MBShare Document on Facebook
|