Contracts for concurrency.

Piotr Nienaltowski Bertrand Meyer Jonathan S. Ostroff

Published in: Formal Aspects Comput. (2009)

Keyphrases

concurrency control
supply chain
database systems
dynamic allocation
transaction processing
data flow
object oriented languages
databases
real world
information systems
data structure
programming language
concurrency control protocols
moral hazard