Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Extending Multiversion Time-Stamping Protocols to Exploit Type Information
IEEE Transactions on Computers
Modular Concurrency Control and Failure Recovery
IEEE Transactions on Computers
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
The Z notation: a reference manual
The Z notation: a reference manual
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
Quasi serializability: a correctness criterion for global concurrency control in InterBase
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Hybrid concurrency control for abstract data types
Journal of Computer and System Sciences
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
Simple rational guidance for chopping up transactions
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Mutual Consistency in Decentralized Distributed Systems
Proceedings of the Third International Conference on Data Engineering
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Real-time update of access control policies
Data & Knowledge Engineering
Ensuring atomicity of multilevel transactions
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
| Hi-index | 0.00 |