• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Fully Abstract May Testing Semantics for Concurrent Objects.

Alan JeffreyJulian 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