Author:
Henzinger Thomas A.,Qadeer Shaz,Rajamani Sriram K.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. J. Archibald, J.-L. Baer. Cache coherence protocols: evaluation using a multiprocessor simulation model. ACM Trans. Computer Systems, 4(4):273–298, 1986.
2. Y. Afek, G. Brown, M. Merritt. Lazy caching. ACM Trans. Programming Languages and Systems, 15(1):182–205, 1993.
3. S.V. Adve, K. Gharachorloo. Shared memory consistency models: a tutorial. IEEE Computer, 29(12):66–76, 1996.
4. Lect Notes Comput Sci;R. Alur,1998
5. R. Alur, K.L. McMillan, D. Peled. Model-checking of correctness conditions for concurrent objects. In Proc. 11th IEEE Symp. Logic in Computer Science, pp. 219–228, 1996.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献