Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour

Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy. Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. In Amr El Abbadi, Benoît Garbinato, editors, Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Volume 10299 of Lecture Notes in Computer Science, pages 206-221, 2017. [doi]

Abstract

Abstract is missing.