Author:
Colvin Robert,Doherty Simon,Groves Lindsay
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. The existence of refinement mappings;Abadi;Theoretical Computer Science,1991
2. Colvin, R. and L. Groves, Formal verification of an array-based nonblocking queue, in: ICECCS 2005: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2004, to appear
3. Crow, J., S. Owre, J. Rushby, N. Shankar and M. Srivas, A tutorial introduction to PVS, in: Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, 1995. URL http://www.csl.sri.com/papers/wift-tutorial/
4. Detlefs, D., C.H. Flood, A. Garthwaite, P. Martin, N.N. Shavit and G.L. Steele, Jr., Even better DCAS-based concurrent deques, in: In Proceedings of the 14th International Conference on Distributed Computing (2000), pp. 59–73
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献