Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols.

Murali Talupur, Sandip Ray, John Erickson

Browse the full FMCAD paper archive.