126
Voted
ISOLA
2010
Springer
15 years 21 days ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...