@Inbook{Castañeda2017,
author="Casta{\~{n}}eda, Armando
and Moses, Yoram
and Raynal, Michel
and Roy, Matthieu",
editor="El Abbadi, Amr
and Garbinato, Beno{\^i}t",
title="Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour",
bookTitle="Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="206--221",
isbn="978-3-319-59647-1",
doi="10.1007/978-3-319-59647-1_16",
url="https://doi.org/10.1007/978-3-319-59647-1_16"
}