Author:
Filipović Ivana,O’Hearn Peter,Rinetzky Noam,Yang Hongseok
Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. Lazy caching;Afek;ACM Trans. Program. Lang. Syst.,1993
2. A. Banerjee, D.A. Naumann, Representation independence, confinement and access control, in: ACM Symposium on Principles of Programming Languages, 2002, pp. 166–177.
3. Concurrency Control and Recovery in Database Systems;Bernstein,1987
4. A grainless semantics for parallel programs with shared mutable data;Brookes;Electron. Notes Theor. Comput. Sci.,2006
5. S.D. Brookes, A semantics for concurrent separation logic, in: International Conference on Concurrency Theory, 2004, pp. 16–34.
Cited by
91 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献