Reasoning with fairness constraints

  • David Park
Late Arrivals
Part of the Lecture Notes in Computer Science book series (LNCS, volume 158)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Dijkstra, E W: A Discipline of Programming, Prentice-Hall (1976).Google Scholar
  2. 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
  3. Fischer, M J, Paterson, M S: Storage Requirements for Fair Scheduling; to appear in Information Processing Letters.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • David Park
    • 1
  1. 1.Department of Computer ScienceWarwick UniversityCoventryEngland

Personalised recommendations