Teapot: Language Support for Writing Memory Coherence Protocols

Satish Chandra, Brad Richards, James R. Larus. Teapot: Language Support for Writing Memory Coherence Protocols. In PLDI. pages 237-248, 1996.

Authors

Satish Chandra

This author has not been identified. Look up 'Satish Chandra' in Google

Brad Richards

This author has not been identified. Look up 'Brad Richards' in Google

James R. Larus

This author has not been identified. Look up 'James R. Larus' in Google