The Specification and Testing of Quantified Progress Properties in Distributed Systems.

Prakash Krishnamurthy, Paolo A. G. Sivilotti

Browse the full ICSE paper archive.