Abstract fairness and semantics
โ
Doris Nolte; Lutz Priese
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 984 KB
## Fairness of a program execution, c, is usually expressed such that all objects which are sufficiently often enabled have to occur also sufficiently often in c. There exists a well-known strong equivalence between fair program executions, ZIf-formulae, and convergence of initial program executio