Concurrent Specifications Beyond Linearizability.

ric Goubault, Jrmy Ledent, Samuel Mimram

Browse the full OPODIS paper archive.