Author:
Alur R.,McMillan K.,Peled D.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Concurrent Correctness in Vector Space;Lecture Notes in Computer Science;2021
2. The Complexity of Weak Consistency;Frontiers in Algorithmics;2018
3. TSO-to-TSO linearizability is undecidable;Acta Informatica;2017-10-23
4. Analysing Lock-Free Linearizable Datatypes Using CSP;Concurrency, Security, and Puzzles;2016-12-18
5. The F-Snapshot Problem;Structural Information and Communication Complexity;2016