On Reducing Linearizability to State Reachability.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Browse the full ICALP paper archive.