From Finite State Communication Protocols to High-Level Message Sequence Charts.

Anca Muscholl, Doron A. Peled

Browse the full ICALP paper archive.