Reasoning with fairness constraints
Part of the Lecture Notes in Computer Science book series (LNCS, volume 158)
Unable to display preview. Download preview PDF.
- Dijkstra, E W: A Discipline of Programming, Prentice-Hall (1976).Google Scholar
- Park, D: A Predicate Transformer for Weak Fair Iteration; pp 259–275, Proc 6th IBM Symposium on Mathematical Foundations of Computer Science, IBM Japan (1981)Google Scholar
- Fischer, M J, Paterson, M S: Storage Requirements for Fair Scheduling; to appear in Information Processing Letters.Google Scholar
© Springer-Verlag Berlin Heidelberg 1983