Teapot: Language Support for Writing Memory Coherence Protocols

Satish Chandra, Brad Richards, James R. Larus. Teapot: Language Support for Writing Memory Coherence Protocols. In PLDI. pages 237-248, 1996.

Abstract

Abstract is missing.