Login / Signup
A decision procedure for detecting atomicity violations for communicating processes with locks.
Nicholas Kidd
Peter Lammich
Tayssir Touili
Thomas W. Reps
Published in:
Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases
</>
communication channels
decision making
decision makers
concurrency control
nested transactions
electronic commerce
decision rules
databases
multidatabase systems
neural network
query optimization
integrity constraints
decision problems
transaction management
sharing information