Satish Chandra, Brad Richards, James R. Larus. Teapot: Language Support for Writing Memory Coherence Protocols. In PLDI. pages 237-248, 1996.
@inproceedings{ChandraRL96,
title = {Teapot: Language Support for Writing Memory Coherence Protocols},
author = {Satish Chandra and Brad Richards and James R. Larus},
year = {1996},
tags = {protocol, writing},
researchr = {https://researchr.org/publication/ChandraRL96},
cites = {0},
citedby = {0},
pages = {237-248},
booktitle = {PLDI},
}