Author:
Zennou Rachid,Bouajjani Ahmed,Enea Constantin,Erradi Mohammed
Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27
2. Optimal Reads-From Consistency Checking for C11-Style Memory Models;Proceedings of the ACM on Programming Languages;2023-06-06
3. The reads-from equivalence for the TSO and PSO memory models;Proceedings of the ACM on Programming Languages;2021-10-20
4. Checking causal consistency of distributed databases;Computing;2021-02-09
5. Boosting Sequential Consistency Checking Using Saturation;Automated Technology for Verification and Analysis;2020