@inbook{Casta_eda_2017,<br/><span class="tab"></span> title={Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour},<br/><span class="tab"></span> ISBN={9783319596471},<br/><span class="tab"></span> ISSN={1611-3349},<br/><span class="tab"></span> url={http://dx.doi.org/10.1007/978-3-319-59647-1_16},<br/><span class="tab"></span> DOI={10.1007/978-3-319-59647-1_16},<br/><span class="tab"></span> booktitle={Lecture Notes in Computer Science},<br/><span class="tab"></span> publisher={Springer International Publishing},<br/><span class="tab"></span> author={Castañeda,<br/><span class="tab"></span> Armando and Moses,<br/><span class="tab"></span> Yoram and Raynal,<br/><span class="tab"></span> Michel and Roy,<br/><span class="tab"></span> Matthieu},<br/><span class="tab"></span> year={2017},<br/><span class="tab"></span> pages={206–221} }