Fairness and hyperfairness

DOI10.1007/PL00008921MaRDI QIDQ5137907zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Fairness and hyperfairness in multi-party interactions
• scientific article; zbMATH DE number 1324655
• scientific article; zbMATH DE number 4096758
• CONCUR 2005 – Concurrency Theory
• Finitary fairness in action systems

Cites work

• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1049169 (Why is no real title available?)
• Appraising fairness in languages for distributed programming
• Defining liveness
• Fairness and hyperfairness in multi-party interactions
• Fairness and related properties in transition systems - a temporal logic to deal with fairness
• Specifying concurrent objects as communicating processes

Cited in

(30)

• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1008482 (Why is no real title available?)
• Fairness measures for decision-making and conflict resolution
• scientific article; zbMATH DE number 4037221 (Why is no real title available?)
• Fairness, distances and degrees
• Fair termination of multiparty sessions
• On fairness and randomness
• Intensity of the sense of fairness: Measurement and behavioral characterization
• Positive Dedalus programs tolerate non-causality
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 1241889 (Why is no real title available?)
• Energy, fairness, and a counterexample
• Putting logic-based distributed systems on stable grounds
• Fairness and conspiracies
• Fairness and Correctness in Case of a Premature Abort
• Just testing
• Finitary fairness in action systems
• Generating non-conspiratorial executions
• Foundations for using linear temporal logic in Event-B refinement
• To be fair or efficient or a bit of both
• scientific article; zbMATH DE number 2102741 (Why is no real title available?)
• Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
• Financial fairness and conditional indexation
• Fairness and Contract Design
• Fairness and hyperfairness in multi-party interactions
• scientific article; zbMATH DE number 4096758 (Why is no real title available?)
• Model checking with fairness assumptions using PAT
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 1995134 (Why is no real title available?)
• Fair decisions

This page was built for publication: Fairness and hyperfairness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5137907)