Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Structured Derivation of Semi-Synchronous Algorithms
 

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

  

Source: Attiya, Hagit - Department of Computer Science, Technion, Israel Institute of Technology

 

Collections: Computer Technologies and Information Sciences