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

by Alan Jeffrey
Venue:In Proceedings of LICS ’02. IEEE, Computer
Citations:38 - 4 self