Graphical Specifications for Concurrent Software Systems.

Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna

Browse the full ICSE paper archive.