A Fully Abstract May Testing Semantics for Concurrent Objects.

Alan Jeffrey Julian Rathke

Published in: LICS (2002)

Keyphrases

moving objects
data sets
high level
d objects
object model
multiple objects
concurrent programs
neural network
hierarchical structures
semantically relevant