Foundational and Compositional Verification of Layered Concurrent Objects.

Yicheng Ni, Yuting Wang

Browse the full ECOOP paper archive.