An MSO Framework for Weak-Memory Verification and Robustness.

Giovanna Kobus Conrado, Andreas Pavlogiannis

Browse the full CONCUR paper archive.