Author:
Bouajjani Ahmed,Emmi Michael,Enea Constantin,Hamza Jad
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Alur, R., McMillan, K.L., Peled, D.: Model-checking of correctness conditions for concurrent objects. Inf. Comput. 160(1-2), 167–188 (2000)
2. Lecture Notes in Computer Science;D. Amit,2007
3. Lecture Notes in Computer Science;J. Berdine,2008
4. Bingham, J.: Model Checking Sequential Consistency and Parameterized Protocols. PhD thesis, The University of British Columbia (August 2005)
5. Lecture Notes in Computer Science;J.D. Bingham,2004
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scenario-Based Proofs for Concurrent Objects;Proceedings of the ACM on Programming Languages;2024-04-29
2. Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability;Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing;2023-06-16
3. ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract;Proceedings of the 20th International Conference on Security and Cryptography;2023
4. VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects;Theoretical Aspects of Software Engineering;2023
5. A concurrent program logic with a future and history;Proceedings of the ACM on Programming Languages;2022-10-31