Author:
Gotsman Alexey,Yang Hongseok
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Operational Approach to Library Abstraction under Relaxed Memory Concurrency;Proceedings of the ACM on Programming Languages;2023-01-09
2. Abstraction for Crash-Resilient Objects;Programming Languages and Systems;2022
3. Verifying Linearisability;ACM Computing Surveys;2015-11-21
4. Parameterised Linearisability;Automata, Languages, and Programming;2014