Chandra, Satish Larus, James R. Richards, Bradley <br/><br/>
Teapot a Domain-Specific Language  for  Writing Cache Coherence Protocols 

 - 317-333 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Domain-Specific Languages<br/>Distributed Systems<br/>Cache Advance