Advertisement

A Simple Election Algorithm

  • W. H. J. Feijen
  • A. J. M. van Gasteren
Part of the Monographs in Computer Science book series (MCS)

Abstract

We consider a multiprogram with a positive and finite number of components. Component i has a private boolean variable y.i and it does just one thing, namely it performs one as yet unknown assignment to this variable. The problem is to synchronize the components in such a way that they all terminate and leave the system in a final state satisfying†
$$ \left\langle {\# j::y.j} \right\rangle = 1 $$
(0)

Keywords

Atomic Statement Predicate Calculus Program Transformation Total Correctness Decisive Importance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • W. H. J. Feijen
    • 1
  • A. J. M. van Gasteren
    • 1
  1. 1.Department of Computing ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations