Verifying Lock-Freedom Using Well-Founded Orders.

Robert Colvin, Brijesh Dongol

Browse the full ICTAC paper archive.