Finitary fairness
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Time-adaptive algorithms for synchronizationPublished by Association for Computing Machinery (ACM) ,1994
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- Temporal proof methodologies for real-time systemsPublished by Association for Computing Machinery (ACM) ,1991
- Time-constrained automataPublished by Springer Nature ,1991
- A hierarchy of temporal properties (invited paper, 1989)Published by Association for Computing Machinery (ACM) ,1990
- Appraising fairness in languages for distributed programmingDistributed Computing, 1988
- Consensus in the presence of partial synchronyJournal of the ACM, 1988
- FairnessPublished by Springer Nature ,1986
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980