P. Madhusudan Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs. 809-820 2001 conf/icalp/2001 ICALP http://dx.doi.org/10.1007/3-540-48224-5_66 db/conf/icalp/icalp2001.html#Madhusudan01