Tractable Refinement Checking for Concurrent Objects.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Browse the full POPL paper archive.