Appraising fairness in languages for distributed programming

  title={Appraising fairness in languages for distributed programming},
  author={K. Apt and N. Francez and S. Katz},
  journal={Distributed Computing},
  • K. Apt, N. Francez, S. Katz
  • Published 2005
  • Computer Science
  • Distributed Computing
  • The relations among various languages and models for distributed computation and various possible definitions of fairness are considered. Natural semantic criteria are presented which an acceptable notion of fairness should satisfy. These are then used to demonstrate differences among the basic models, the added power of the fairness notion, and the sensitivity of the fairness notion to irrelevant semantic interleavings of independent operations. These results are used to show that from the… CONTINUE READING
    76 Citations

    Figures, Tables, and Topics from this paper

    Fairness and conspiracy concepts in concurrent systems
    • 1
    • PDF
    Defining Fairness in Reactive and Concurrent Systems
    • 26
    Model checking with fairness assumptions using PAT
    • 28
    • PDF
    Modeling fairness and starvation in concurrent systems
    • 6
    Fairness in systems based on multiparty interactions
    • 4
    • PDF
    CCS: It’s not fair!
    • 11
    • PDF
    Event fairness and non-interleaving concurrency
    • M. Kwiatkowska
    • Mathematics, Computer Science
    • Formal Aspects of Computing
    • 2005
    • 14
    Using Fairness Constraints in Process-Algebraic Verification
    • 5
    Ensuring Liveness Properties of Distributed Systems (A Research Agenda)
    • 6
    • PDF


    Appraising fairness in distributed languages
    • 27
    Fair termination of communicating processes
    • 18
    Fairness and hyperfairness in multi-party interactions
    • 29
    Rendezvous with ADA: a proof theoretical view
    • 24
    Fairness and the axioms of control predicates
    • 1
    • PDF
    Proof Rules and Transformations Dealing with Fairness
    • 87
    • PDF
    A Complete Rule for Equifair Termination
    • 4