Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing.

Venkatram Vishwanath, Lenore D. Zuck, Jason Leigh

Browse the full MEMOCODE paper archive.