Aspects of software design analysis: Concurrency and blocking.

Connie U. Smith, James C. Browne

Browse the full SIGMETRICS paper archive.