Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof

Michel Charpentier, GĂ©rard Padiou. Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof. Parallel Processing Letters, 8(4):433-445, 1998.

Abstract

Abstract is missing.