2 search results - page 1 / 1 » Decidable Race Condition and Open Coregions in HMSC |
ECEASST
2010
15 years 1 months ago
2010
115
click to vote
TACAS
2007
Springer
15 years 9 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...