Verification of cache coherence protocols by aggregation of distributed transactions
From MaRDI portal
Publication:1265158
DOI10.1007/S002240000093zbMath0904.68008OpenAlexW2041681937MaRDI QIDQ1265158
Seung Joon Park, David L. Dill
Publication date: 11 January 1999
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002240000093
Uses Software
This page was built for publication: Verification of cache coherence protocols by aggregation of distributed transactions