A Fully Abstract May Testing Semantics for Concurrent Objects.

Alan Jeffrey, Julian Rathke

Browse the full LICS paper archive.