Stepwise development of fair distributed systems

DOI10.1007/S00236-002-0103-6MaRDI QIDQ1424348zbMATH OpenOpenAlexFDO

Authors Axel Wabenhorst

Publication date 11 March 2004

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-002-0103-6

zbMATH Keywords

fairness

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 3846854
• Fair synthesis for asynchronous distributed systems
• On fairness notions in distributed systems. I: A characterization of implementability
• scientific article; zbMATH DE number 1231579
• Defining fairness in reactive and concurrent systems
• Fairness of actions in system computations
• Fair distributed computation of reactive functions
• Fairness of components in system computations
• Fairness of components in system computations

Cited in

(15)

• Deadlock and fairness in morphisms of transition systems
• Refinement of fair action systems
• On fairness notions in distributed systems. I: A characterization of implementability
• Keep it fair: equivalence and composition
• scientific article; zbMATH DE number 1612489 (Why is no real title available?)
• Fairness of components in system computations
• Finitary fairness in action systems
• scientific article; zbMATH DE number 4096758 (Why is no real title available?)
• scientific article; zbMATH DE number 140260 (Why is no real title available?)
• Progress under bounded fairness
• Keep it fair: equivalences
• Bounded fairness
• Defining fairness in reactive and concurrent systems
• An algebraic approach to refinement with fair choice
• A note on fairness in I/O automata

This page was built for publication: Stepwise development of fair distributed systems

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