Fairness of components in system computations

DOI10.1016/J.TCS.2006.02.011MaRDI QIDQ2491632zbMATH OpenOpenAlexFDO

Authors Flavio Corradini, Walter Vogler, Maria Rita Di Berardini

Publication date 29 May 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.02.011

zbMATH Keywords

fairness of actionsfairness of componentsliveness propertiesprocess algebrastimed process algebrasworst-case efficiency

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Fairness of components in system computations
• Fairness of actions in system computations
• Relating fairness and timing in process algebras.
• Fair \(\pi\)
• Explicit fairness in testing semantics

Cites work

• A fair calculus of communicating systems
• Bisimulation on speed: Worst-case efficiency
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1927580 (Why is no real title available?)
• Relating fairness and timing in process algebras.
• Weak and strong fairness in CCS

Cited in

(7)

• Liveness of a mutex algorithm in a fair process algebra
• Stepwise development of fair distributed systems
• Ensuring liveness properties of distributed systems: open problems
• On fairness of D0L systems
• Fairness of actions in system computations
• Fairness of components in system computations
• Relating fairness and timing in process algebras.

This page was built for publication: Fairness of components in system computations

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