Open AccessFairness and hyperfairness
Author(s) -
Leslie Lamport
Publication year - 2000
Publication title -
distributed computing
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.707
H-Index - 48
eISSN - 1432-0452
pISSN - 0178-2770
DOI - 10.1007/pl00008921
Subject(s) - rotation formalisms in three dimensions , trace (psycholinguistics) , closure (psychology) , action (physics) , computer science , mathematical economics , mathematics , political science , philosophy , law , linguistics , physics , geometry , quantum mechanics
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom