Author:
Birrell A.,Guttag J.,Horning J.,Levin R.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transaction-friendly condition variables;Proceedings of the 26th ACM symposium on Parallelism in algorithms and architectures;2014-06-21
2. AC;ACM SIGPLAN Notices;2011-10-18
3. Modular verification of multithreaded programs;Theoretical Computer Science;2005-06
4. JoCaml: A Language for Concurrent Distributed and Mobile Programming;Advanced Functional Programming;2003
5. A Modular Checker for Multithreaded Programs;Computer Aided Verification;2002