iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/fmcad/TalupurRE15.xml
Murali Talupur Sandip Ray John Erickson Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. 168-175 2015 FMCAD conf/fmcad/2015 db/conf/fmcad/fmcad2015.html#TalupurRE15 https://doi.org/10.1109/FMCAD.2015.7542267