A Compositional Reformulation of Owicki-Gries's Partial Correctness Logic for a Concurrent While Language.

Colin Stirling

Browse the full ICALP paper archive.