Sciweavers

66
Voted
ATVA
2007
Springer
105views Hardware» more  ATVA 2007»
15 years 3 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...