A fully abstract may testing semantics for concurrent objects

Alan Jeffrey, Julian Rathke. A fully abstract may testing semantics for concurrent objects. Theoretical Computer Science, 338(1-3):17-63, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: