Sciweavers

CASCON
2001
92views Education» more  CASCON 2001»
14 years 27 days ago
Extending the message flow debugger for MQSI
Integration and management of applications play key roles in today's computing. MQSeries is an asynchronous, assured application-to-application communication protocol designe...
Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Ev...
FMCAD
2008
Springer
14 years 1 months ago
Going with the Flow: Parameterized Verification Using Message Flows
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
Murali Talupur, Mark R. Tuttle