Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, and Mark Wheelhouse. A Simple Abstraction for Complex Concurrent Indexes. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, 2011. [Technical report]
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, and Mark Wheelhouse. Abstract Reasoning for Concurrent Indexes. In Proceedings of Verification of Concurrent Data Structures, 2011.
