| | |
Summary: Structured Derivation of
Semi-Synchronous Algorithms
Hagit Attiya1
, Fatemeh Borran2
, Martin Hutle3
, Zarko Milosevic2
, and
AndrŽe Schiper2
1
Technion, Israel,
hagit@cs.technion.ac.il
2 ŽEcole Polytechnique FŽedŽerale de Lausanne (EPFL), Switzerland,
{fatemeh.borran | zarko.milosevic | andre.schiper}@epfl.ch
3
Fraunhofer SIT, Germany,
martin.hutle@epfl.ch
Abstract. The semi-synchronous model is an important middle ground
between the synchronous and the asynchronous models of distributed
computing. In this model, processes can detect (timeout) when other
processes fail. However, since detection is done by timing out, it incurs
|
