17 search results - page 2 / 4 » Regular Collections of Message Sequence Charts |
113
Voted
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
101
Voted
TACAS
2007
Springer
15 years 8 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...
116
Voted
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
98
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
123
Voted
FSTTCS
2010
Springer
14 years 12 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...