Modular Verification of Concurrent Programs

Brent Hailpern, Susan S. Owicki. Modular Verification of Concurrent Programs. In POPL. pages 322-336, 1982.

Abstract

Abstract is missing.