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

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