✦ LIBER ✦

Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions

✍ Scribed by S. Park; D. L. Dill

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of the Futurebus+ cache coh

✍ Edmund M. Clarke; Orna Grumberg; Hiromi Hiraishi; Somesh Jha; David E. Long; Ken 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 960 KB