Analysing Message Sequence Graph Specifications.

Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar

Browse the full ISoLA paper archive.