Sciweavers

ATVA
2007
Springer
105views Hardware» more  ATVA 2007»
14 years 5 months ago
Quantifying the Discord: Order Discrepancies in Message Sequence Charts
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSCs) are formalisms used to describe scenarios of message passing protocols. We propose using Allen’s log...
Edith Elkind, Blaise Genest, Doron Peled, Paola Sp...