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.

Possibly Related Publications

The following publications are possibly variants of this publication: