NAP, a detection and recovery based scheme for implementing fault-tolerant itinerant computations, is presented. We give the semantics for the scheme and describe a protocol that implements NAP in tacoma.
Dag Johansen, Keith Marzullo, Fred B. Schneider, K