Modular Verification of Concurrent Programs.

Brent Hailpern, Susan S. Owicki

Browse the full POPL paper archive.