Defining process fairness for non-interleaving concurrency
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 286-300
- https://doi.org/10.1007/3-540-53487-3_52
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Defining Conditional Independence Using CollapsesPublished by Springer Nature ,1990
- Survey of fairness notionsInformation and Software Technology, 1989
- Event fairness and non-interleaving concurrencyFormal Aspects of Computing, 1989
- The anchored version of the temporal frameworkPublished by Springer Nature ,1989
- The versatile continuous orderPublished by Springer Nature ,1988
- Weak and strong fairness in CCSInformation and Computation, 1987
- FairnessPublished by Springer Nature ,1986
- Impartiality, justice and fairness: The ethics of concurrent terminationPublished by Springer Nature ,1981
- Adherences of languagesJournal of Computer and System Sciences, 1980
- A Compendium of Continuous LatticesPublished by Springer Nature ,1980