Characterizing Correctness Properties of Parallel Programs Using Fixpoints.

E. Allen Emerson, Edmund M. Clarke

Browse the full ICALP paper archive.