Alan Jeffrey, Julian Rathke. A fully abstract may testing semantics for concurrent objects. Theoretical Computer Science, 338(1-3):17-63, 2005. [doi]
@article{JeffreyR05:2, title = {A fully abstract may testing semantics for concurrent objects}, author = {Alan Jeffrey and Julian Rathke}, year = {2005}, doi = {10.1016/j.tcs.2004.10.012}, url = {http://dx.doi.org/10.1016/j.tcs.2004.10.012}, tags = {semantics, meta-model, testing, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/JeffreyR05%3A2}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {338}, number = {1-3}, pages = {17-63}, }