Author:
Chakraborty Soham,Henzinger Thomas,Sezgin Ali,Vafeiadis Viktor
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scenario-Based Proofs for Concurrent Objects;Proceedings of the ACM on Programming Languages;2024-04-29
2. A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability;Proceedings of the ACM on Programming Languages;2024-01-05
3. A Conflict-Resilient Lock-Free Linearizable Calendar Queue;ACM Transactions on Parallel Computing;2023-12-06
4. Later credits: resourceful reasoning for the later modality;Proceedings of the ACM on Programming Languages;2022-08-29
5. Prophecy Made Simple;ACM Transactions on Programming Languages and Systems;2022-04-06