Safe Realizability of High-Level Message Sequence Charts.

Markus Lohrey

Browse the full CONCUR paper archive.