Fairness and hyperfairness

DOI10.1007/PL00008921zbMath1448.68137OpenAlexW2127546784MaRDI QIDQ5137907

Leslie Lamport

Publication date: 3 December 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00008921

zbMATH Keywords

fairness criterionaction systemarbitrary actionmachine closure

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items (8)

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types ⋮ On fairness and randomness ⋮ Generating non-conspiratorial executions ⋮ Foundations for using linear temporal logic in Event-B refinement ⋮ Model checking with fairness assumptions using PAT ⋮ Putting logic-based distributed systems on stable grounds ⋮ Just testing ⋮ Positive Dedalus programs tolerate non-causality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specifying concurrent objects as communicating processes
• Defining liveness
• Appraising fairness in languages for distributed programming
• Fairness and related properties in transition systems - a temporal logic to deal with fairness
• Fairness and hyperfairness in multi-party interactions

This page was built for publication: Fairness and hyperfairness