Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs.

Pawel Paczkowski

Browse the full MFCS paper archive.