Formal Analysis of Message Passing - (Invited Talk).

Stephen F. Siegel, Ganesh Gopalakrishnan

Browse the full VMCAI paper archive.