Sciweavers

Share
2 search results - page 1 / 1
» Some Pathological Message Sequence Charts, and How to Detect...
Sort
View
FOSSACS
2001
Springer
10 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
books