On the correctness of orphan management algorithms
Journal of the ACM (JACM)
Precision locking for nested transaction systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Isolation of transaction aborts in object-oriented database systems
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Quorum consensus in nested-transaction systems
ACM Transactions on Database Systems (TODS)
Model and verification of a data manager based on ARIES
ACM Transactions on Database Systems (TODS)
Modular reasoning about open systems: a case study of distributed commit
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Automating commutativity analysis at the design level
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
| Hi-index | 0.00 |