Affiliation:
1. Department of Computer Science; University of Oxford; Oxford UK
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software
Reference29 articles.
1. Linearizability: a correctness condition for concurrent objects;Herlihy;ACM Transactions on Programming Languages and Systems,1990
2. Testing and verifying concurrent objects;Wing;Journal of Parallel and Distributed Computing,1993
3. Lowe G Concurrent hash maps: a comparative study Technical Report 2014
4. Kingsbury K Computational techniques in Knossos https://aphyr.com/posts/314-computational-techniques-in-knossos 2014
5. Pradel M Gross TR Fully automatic and precise detection of thread safety violations PLDI 2012 521 530
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献