Experience with a Language for Writing Coherence Protocols (1997)

by S Chandra, M Dahlin, B Richards, R Wang, T Anderson, J Larus
Venue:In USENIX Conference on Domain-Specific Languages