A fully abstract may testing semantics for concurrent objects
Under an Elsevier user license
open archive
Keywords
Object calculus
Full abstraction
Concurrency
Cited by (0)
- 1
This material is based upon work supported by the National Science Foundation under Grant No. 0430175.
- 2
Support provided by Nuffield Foundation Grant NAL/00226/G.
Copyright © 2004 Elsevier B.V. All rights reserved.