Verificating timing properties of concurrent algorithms (1994)

by Victor Luchangco, Stephen Garland Ekrem Soylemez, Nancy Lynch
Venue:Formal Description Techniques VII: Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques (FORTE'94,Berne