Verifying timing properties of concurrent algorithms.

Victor Luchangco, Ekrem Sylemez, Stephen J. Garland, Nancy A. Lynch

Browse the full FORTE paper archive.