CONCUR 2005 – Concurrency Theory

DOI10.1007/11539452MaRDI QIDQ5897501zbMATH OpenOpenAlexFDO

Authors H. Völzer, Daniele Varacca, Ekkart Kindler

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11539452

Mathematics Subject Classification ID

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

Recommendations

• New perspectives on fairness.
• Defining fairness in reactive and concurrent systems
• Fairness and hyperfairness
• Defining liveness
• scientific article; zbMATH DE number 4096758

Cited in

(16)

• On the limits of refinement-testing for model-checking CSP
• Model checking with fairness assumptions using PAT
• Counterexamples in Probabilistic LTL Model Checking for Markov Chains
• New perspectives on fairness.
• scientific article; zbMATH DE number 4037221 (Why is no real title available?)
• scientific article; zbMATH DE number 1324655 (Why is no real title available?)
• scientific article; zbMATH DE number 1008482 (Why is no real title available?)
• Fairness and hyperfairness
• Defining fairness in reactive and concurrent systems
• Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
• Liveness, Fairness and Impossible Futures
• On the definition of favorableness
• Fairness and consensus in an asynchronous opinion model for social networks
• Infinitary refinement types for temporal properties in Scott domains
• Counting branches in trees using games
• On fairness and randomness

This page was built for publication: CONCUR 2005 – Concurrency Theory

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