2 search results - page 1 / 1 » Some Pathological Message Sequence Charts, and How to Detect... |
SDL
2001
14 years 6 days ago
2001
FOSSACS
2001
Springer
14 years 3 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...