Implied Set Closure and Its Application to Memory Consistency Verification
Authors:
- 12 August 2008
- book chapter
- Published by Springer Nature
- p. 94-106
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Fast and Generalized Polynomial Time Memory Consistency Verification2006
- Efficient algorithms for verifying memory consistency2005
- TSOtoolACM SIGARCH Computer Architecture News, 2004
- The complexity of verifying memory coherence2003
- Shared Memory Consistency Models: A Tutorial1995
- Formal Specification of Memory Models1992
- Amortized efficiency of a path retrieval data structureTheoretical Computer Science, 1986