Electronic Resource
Springer
Distributed computing
13 (2000), S. 239-245
ISSN:
1432-0452
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract. 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/PL00008921
|
Location |
Call Number |
Expected |
Availability |