HP Labs Technical Reports

A CSP Model of the ATLAS Move Protocol

Grosvenor, David



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]