Runtime Refinement Checking of Concurrent Data Structures
Open Access
- 3 January 2005
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 113, 163-179
- https://doi.org/10.1016/j.entcs.2004.01.028
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- AtomizerPublished by Association for Computing Machinery (ACM) ,2004
- Verification of Cache Coherence Protocols by Aggregation of Distributed TransactionsTheory of Computing Systems, 1998
- Linearizability: a correctness condition for concurrent objectsACM Transactions on Programming Languages and Systems, 1990