2 search results - page 1 / 1 » Quantifying the Discord: Order Discrepancies in Message Sequ... |
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
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...
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...