Fairness and hyperfairness

DOI10.1007/PL00008921zbMATH Open1448.68137OpenAlexW2127546784MaRDI QIDQ5137907FDOQ5137907

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

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

zbMATH Keywords

fairness criterionaction systemarbitrary actionmachine closure

Mathematics Subject Classification ID

Distributed systems (68M14)

Cites Work

• Title not available (Why is that?)
• Fairness and related properties in transition systems - a temporal logic to deal with fairness
• Appraising fairness in languages for distributed programming
• Title not available (Why is that?)
• Defining liveness
• Fairness and hyperfairness in multi-party interactions
• Specifying concurrent objects as communicating processes
• Title not available (Why is that?)

Cited In (30)

• Title not available (Why is that?)
• Fairness measures for decision-making and conflict resolution
• Fair termination of multiparty sessions
• Title not available (Why is that?)
• Fairness, distances and degrees
• On fairness and randomness
• Intensity of the sense of fairness: Measurement and behavioral characterization
• Positive Dedalus programs tolerate non-causality
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
• Financial fairness and conditional indexation
• Fairness and Contract Design
• Title not available (Why is that?)
• Fairness and hyperfairness in multi-party interactions
• Applications and Theory of Petri Nets 2004
• Model checking with fairness assumptions using PAT
• Title not available (Why is that?)
• Fair decisions
• CONCUR 2005 – Concurrency Theory

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)