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

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]