Generating non-conspiratorial executions

DOI10.1016/J.IPL.2007.03.008zbMATH Open1184.68189OpenAlexW1988710039MaRDI QIDQ2379964FDOQ2379964

Authors: J. L. Arjona, Rafael Corchuelo, David Ruiz 

Publication date: 24 March 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://idus.us.es/handle/11441/66563

Recommendations

• Distributed Computing
• Applications and Theory of Petri Nets 2004
• scientific article; zbMATH DE number 2104631
• Keep it fair: equivalences
• scientific article; zbMATH DE number 3901999

zbMATH Keywords

fairnessconcurrencydistributed systemsconspiraciesequivalence robustness

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Refinement of actions and equivalence notions for concurrent systems
• Fairness and related properties in transition systems - a temporal logic to deal with fairness
• Fairness and conspiracies
• Fairness and hyperfairness
• Distributed cooperation with action systems
• Refinement of fair action systems
• Title not available (Why is that?)
• On fairness notions in distributed systems. I: A characterization of implementability
• Fairness and hyperfairness in multi-party interactions
• On equivalence-completions of fairness assumptions
• Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability
• Fairness in systems based on multiparty interactions
• On fairness notions in distributed systems. II: Equivalence-completions and their hierarchies
• Distributed Computing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Action systems in incremental and aspect-oriented modeling

This page was built for publication: Generating non-conspiratorial executions

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