Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-48224-5_66 ◽

2001 ◽

pp. 809-820 ◽

Author(s):

P. Madhusudan

Download Full-text