Verifying Visibility-Based Weak Consistency.

Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic

Browse the full ESOP paper archive.