Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols.

Satish Chandra Brad Richards James R. Larus

Published in: IEEE Trans. Software Eng. (1999)

Keyphrases

security protocols
communication protocol
application level
word processing
network protocols
voting protocols
data sets
website
operating system
privacy preserving
communication protocols
collaborative writing