A fully abstract may testing semantics for concurrent objects.

Alan Jeffrey Julian Rathke

Published in: Theor. Comput. Sci. (2005)

Keyphrases

d objects
data sets
object model
hierarchical structures
semantic meaning
object oriented
formal semantics
relational structures
database
higher level
test cases
semantic information
data objects
multiple objects
target object
graphical representation