Distributed Computing

, Volume 13, Issue 4, pp 239–245 | Cite as

Fairness and hyperfairness

  • Leslie Lamport
Original articles


The notion of fairness in trace-based formalisms is examined. It is argued that, in general, fairness means machine closure. The notion of hyperfairness introduced by Attie, Francez, and Grumberg is generalized to arbitrary action systems. Also examined are the fairness criteria proposed by Apt, Francez, and Katz.


Action System Arbitrary Action Fairness Criterion Machine Closure 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Leslie Lamport
    • 1
  1. 1.Compaq Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, USA (e-mail: US

Personalised recommendations