Sciweavers

2 search results - page 1 / 1
» Some Pathological Message Sequence Charts, and How to Detect...
Sort
View
FOSSACS
2001
Springer
13 years 8 months ago
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
Rémi Morin