Date: 2010-09-11 18:46:20Computing Computer architecture Concurrent computing Formal methods Theoretical computer science Cache coherency Instruction set architectures Concurrency TLA+ Model checking Cache coherence Specification language | | Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.Add to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 113,32 KBShare Document on Facebook
|