High-Level Message Sequence Charts and Projections.

Blaise Genest, Loc Hlout, Anca Muscholl

Browse the full CONCUR paper archive.