Characterization of a sequentially consistent memory and verification of a cache memory by abstraction
- 1 May 1999
- journal article
- Published by Springer Nature in Distributed Computing
- Vol. 12 (2-3) , 75-90
- https://doi.org/10.1007/s004460050059
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: