Beyond contracts for concurrency.

Jonathan S. Ostroff Faraz Ahmadi Torshizi Hai Feng Huang Bernd Schoeller

Published in: Formal Aspects Comput. (2009)

Keyphrases

concurrency control
supply chain
moral hazard
transaction processing
database systems
neural network
machine learning
computer vision
principal agent
object oriented languages
database management systems
adverse selection
data sets
evolutionary algorithm
relational databases
data structure
real world