Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts.

Hanne Ben-Abdallah, Stefan Leue

Browse the full TACAS paper archive.