Correct Execution of Transactions at Different Isolation Levels
IEEE Transactions on Knowledge and Data Engineering
Automatic workflow verification and generation
Theoretical Computer Science
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
Transaction chains: achieving serializability with low latency in geo-distributed storage systems
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
| Hi-index | 0.00 |