Back to Results
First PageMeta Content
Computing / 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 List

Document Date: 2010-09-11 18:46:20


Open Document

File Size: 113,32 KB

Share Result on Facebook