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.
@article{CharpentierP98a,
title = {Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof},
author = {Michel Charpentier and Gérard Padiou},
year = {1998},
tags = {protocol},
researchr = {https://researchr.org/publication/CharpentierP98a},
cites = {0},
citedby = {0},
journal = {Parallel Processing Letters},
volume = {8},
number = {4},
pages = {433-445},
}