Correctness Proof for a Distributed Memory System

Vicent Cholvi, José M. Bernabéu-Aubán. Correctness Proof for a Distributed Memory System. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert, editors, Euro-Par 96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I. Volume 1123 of Lecture Notes in Computer Science, pages 526-531, Springer, 1996.