Verifying Wait-Freedom for Concurrent Higher-Order Programs.

Egor Namakonov, Lars Birkedal, Amin Timany

Browse the full ECOOP paper archive.