@misc{miscf1c6a5ae,
title   = {Development of an atomic-Broadcast protocol using LOTOS},
author = {James, Perry Roland and Endler, Markus and Gaudel, Marie-Claude},
year = {1997},
publisher = {IME-USP}
}