Teapot: Language support for writing memory coherence protocols (1996)

by S Chandra, B Richards, J R Larus
Venue:In Proceedings of the SIGPLAN ’96 Conference on Programming Language Design and Implementation (PLDI