A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.
Nicholas KiddPeter LammichTayssir TouiliThomas W. RepsPublished in: SPIN (2009)
Keyphrases
- communication channels
- decision making
- decision processes
- electronic commerce
- process model
- computational models
- iterative procedure
- decision makers
- decision rules
- automatic detection
- acid properties
- database
- nested transactions
- multidatabase systems
- transaction processing
- search procedure
- management system
- probability distribution
- information technology
- databases