Teapot: Language Support for Writing Memory Coherence Protocols (1996)

by Satish Chandra, Brad Richards, James R Larus
Venue:In Proceedings of Conference on Programming Language Design and Implementation (PLDI