A fully abstract may testing semantics for concurrent objects (2005)

by A Jeffrey, J Rathke
Venue:Theor. Comput. Sci