Survey of fairness notions
- 1 September 1989
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 31 (7) , 371-386
- https://doi.org/10.1016/0950-5849(89)90159-6
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Concurrent systems and inevitabilityTheoretical Computer Science, 1989
- Event fairness and non-interleaving concurrencyFormal Aspects of Computing, 1989
- An introduction to the regular theory of fairnessTheoretical Computer Science, 1987
- Weak and strong fairness in CCSInformation and Computation, 1987
- A complete rule for equifair terminationJournal of Computer and System Sciences, 1986
- Verification of multiprocess probabilistic protocolsDistributed Computing, 1986
- A fair calculus of communicating systemsActa Informatica, 1984
- Fairness and related properties in transition systems ? a temporal logic to deal with fairnessActa Informatica, 1983
- Communicating sequential processesCommunications of the ACM, 1978
- Parallel program schemataJournal of Computer and System Sciences, 1969