Verification of cache coherence protocols by aggregation of distributed transactions

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

zbMATH Keywords

aggregation function

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed algorithms (68W15)

Uses Software

• PVS

This page was built for publication: Verification of cache coherence protocols by aggregation of distributed transactions