17 search results - page 4 / 4 » Regular Collections of Message Sequence Charts |
68
Voted
FORTE
2007
14 years 11 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...
79
Voted
ACSD
2003
IEEE
15 years 2 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...