Brief Announcement: ΔΩ: Specifying an Eventual Leader Service for Dynamic Systems

  • Mikel Larrea
  • Michel Raynal
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6950)


The election of an eventual leader in an asynchronous system prone to process crashes is an important problem of fault-tolerant distributed computing. This problem is known as the implementation of the failure detector Ω. In this work we propose a specification of Ω suited to dynamic systems, i.e., systems in which processes can enter and leave.


  1. 1.
    Chandra, T.D., Hadzilacos, V., Toueg, S.: The Weakest Failure Detector for Solving Consensus. Journal of the ACM 43(4), 685–722 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Larrea, M., Raynal, M.: Specifying and Implementing an Eventual Leader Service for Dynamic Systems. Technical Report 1962, IRISA (France) (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Mikel Larrea
    • 1
  • Michel Raynal
    • 2
  1. 1.University of the Basque Country, UPV/EHUSpain
  2. 2.Institut Universitaire de France & IRISAFrance

Personalised recommendations