Login / Signup

Protocol-based verification of message-passing parallel programs.

Hugo A. LópezEduardo R. B. MarquesFrancisco MartinsNicholas NgCésar SantosVasco Thudichum VasconcelosNobuko Yoshida
Published in: OOPSLA (2015)
Keyphrases