A Hierarchy of Communication Models for Message Sequence Charts.

Andr Engels, Sjouke Mauw, Michel A. Reniers

Browse the full FORTE paper archive.