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

action systemarbitrary actionfairness criterionmachine 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

• 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
• 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?)
• Specifying concurrent objects as communicating processes

Cited in

(36)

• Fairness, distances and degrees
• Fairness and hyperfairness in multi-party interactions
• Fair decisions
• Fairness measures for decision-making and conflict resolution
• Generating non-conspiratorial executions
• Model checking with fairness assumptions using PAT
• Positive Dedalus programs tolerate non-causality
• Finitary fairness in action systems
• Foundations for using linear temporal logic in Event-B refinement
• Fairness and Contract Design
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 4037221 (Why is no real title available?)
• scientific article; zbMATH DE number 4096758 (Why is no real title available?)
• scientific article; zbMATH DE number 1241889 (Why is no real title available?)
• scientific article; zbMATH DE number 1324655 (Why is no real title available?)
• scientific article; zbMATH DE number 1008482 (Why is no real title available?)
• scientific article; zbMATH DE number 1995134 (Why is no real title available?)
• Financial fairness and conditional indexation
• Putting logic-based distributed systems on stable grounds
• 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
• Fairness and Correctness in Case of a Premature Abort
• Applications and Theory of Petri Nets 2004
• CONCUR 2005 – Concurrency Theory
• Just testing
• Fair termination of multiparty sessions
• A note on fairness in I/O automata
• Progress, justness and fairness in modal -calculus formulae
• Fairness and consensus in an asynchronous opinion model for social networks
• Intensity of the sense of fairness: Measurement and behavioral characterization
• Reward generation for model-free reinforcement learning from formal specifications
• Fairness and consensus in an asynchronous opinion model for social networks
• Fairness and conspiracies
• On fairness and randomness
• Energy, fairness, and a counterexample
• To be fair or efficient or a bit of both

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)