Delayed choice: an operator for joining Message Sequence Charts.

Jos C. M. Baeten, Sjouke Mauw

Browse the full FORTE paper archive.