Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.

Alexey Gotsman Madanlal Musuvathi Hongseok Yang

Published in: DISC (2012)

Keyphrases

high level
digital libraries
globally optimal
multimedia
multi agent systems
bug localization
consistency constraints
specification language
data flow
data model
relational databases
database
three dimensional
image processing
information systems
neural network
data sets