Browsing LCS Technical Memos (1974 - 2003) by Author "Castro, Miquel"
Now showing items 1-1 of 1
-
Proving Correctness of a Distributed Shared Memory Implementation
Castro, Miquel (1999-1)DiSOM [3,4,2] is a distributed shared memory system that offers users an atomic collection of memory cells provided they satisfy certain well-formedness conditions. This report proves the correctness of DiSOM. The system ...