HP Labs Technical Reports

A CSP Model of the ATLAS Move Protocol

Grosvenor, David

HPL-91-12

Keyword(s):

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