Author:
Guerraoui Rachid,Henzinger Thomas A.,Singh Vasu
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Scaling Up Transactions with Slower Clocks;Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming;2024-02-20
2. On the Correctness Problem for Serializability;Theoretical Aspects of Computing – ICTAC 2021;2021
3. Checking Opacity and Durable Opacity with FDR;Software Engineering and Formal Methods;2021
4. Formal analysis and verification of the PSTM architecture using CSP;Journal of Systems and Software;2020-07
5. Indistinguishability;Communications of the ACM;2020-04-20