HP Labs Technical Reports
A CSP Model of the ATLAS Move Protocol
Abstract: This document takes an informal description of the ATLAS move protocol and produces a CSP model. The ATLAS move protocol is a variation of a two phase commit protocol.
Back to Index