Cache coherency in SCI: Specification and a sketch of correctness

DOI10.1007/S001650050055zbMath0953.68004OpenAlexW2092823443MaRDI QIDQ1977123

Frank Stomp, Amy P. Felty

Publication date: 9 May 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050055

zbMATH Keywords

scalable coherent interfacetime temporal logic

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computer system organization (68M99)

Related Items (1)

Hybrid interactive theorem proving using nuprl and HOL

This page was built for publication: Cache coherency in SCI: Specification and a sketch of correctness