An introduction to the regular theory of fairness
- 31 October 1987
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 54 (2-3) , 139-163
- https://doi.org/10.1016/0304-3975(87)90126-5
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairnessJournal of the ACM, 1986
- About fair asynchronyTheoretical Computer Science, 1985
- A fair calculus of communicating systemsActa Informatica, 1984
- Fairness and conspiraciesInformation Processing Letters, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Fairness and related properties in transition systems ? a temporal logic to deal with fairnessActa Informatica, 1983
- Proof rules and transformations dealing with fairnessScience of Computer Programming, 1983
- Adherences of languagesJournal of Computer and System Sciences, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972