✦ LIBER ✦

IEEE futurebus cache coherence protocol as a logic program

✍ Scribed by Peter Robinson

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

Verifying a Network Invariant for All Co

✍ Marcel Kyas 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 298 KB