Fairness of actions in system computations

DOI10.1007/S00236-006-0011-2MaRDI QIDQ2502272zbMATH OpenOpenAlexFDO

Authors Flavio Corradini, Walter Vogler, Maria Rita Di Berardini

Publication date 12 September 2006

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/179

Mathematics Subject Classification ID

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

Recommendations

• Relating fairness and timing in process algebras.
• Fairness of components in system computations
• Fairness of components in system computations
• scientific article; zbMATH DE number 4096758
• Keep it fair: equivalence and composition

Cites work

• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• Efficiency of asynchronous systems and read arcs in petri nets
• Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
• Fast asynchronous systems in dense time
• 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?)
• Modular construction and partial order semantics of Petri nets
• Relating fairness and timing in process algebras.
• Testing equivalences for processes
• Weak and strong fairness in CCS

Cited in

(20)

• Liveness of a mutex algorithm in a fair process algebra
• Abstract fairness and semantics
• Stepwise development of fair distributed systems
• On fairness notions in distributed systems. I: A characterization of implementability
• Ensuring liveness properties of distributed systems: open problems
• Fairness measures for decision-making and conflict resolution
• CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
• On fairness of D0L systems
• Keep it fair: equivalence and composition
• Fairness of components in system computations
• Fairness of components in system computations
• Muller condition and fairness on multitransition systems
• Time and Fairness in a Process Algebra with Non-blocking Reading
• scientific article; zbMATH DE number 4096758 (Why is no real title available?)
• Fairness in systems based on multiparty interactions
• Fairness for Infinite-State Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Logic for Programming, Artificial Intelligence, and Reasoning
• Relating fairness and timing in process algebras.
• Modelling mutual exclusion in a process algebra with time-outs

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

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