Fairness and related properties in transition systems - a temporal logic to deal with fairness
From MaRDI portal
Publication:1166926
DOI10.1007/BF00265555zbMath0489.68024OpenAlexW2126395320MaRDI QIDQ1166926
Publication date: 1983
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00265555
modalitiestemporal operatorsbranching time logicabsence of livelockabsence of starvationclasses of eventsfair reachabilityfinite delay propertyunfairness
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Verification of \(\mathrm{EB}^3\) specifications using CADP ⋮ Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ On proving properties of completion strategies ⋮ Generating non-conspiratorial executions ⋮ An introduction to the regular theory of fairness ⋮ Model checking a cache coherence protocol of a Java DSM implementation ⋮ Problems concerning fairness and temporal logic for conflict-free Petri nets ⋮ Model checking with fairness assumptions using PAT ⋮ On feasible cases of checking multi-agent systems behavior. ⋮ The Birth of Model Checking ⋮ Fairness and hyperfairness ⋮ Fairness and regularity for SCCS processes ⋮ Compilation of the ELECTRE reactive language into finite transition systems ⋮ Arity hierarchy for temporal logics ⋮ Strong fairness and ultra metrics ⋮ \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) ⋮ Modal logics for communicating systems ⋮ Verification of concurrent programs: The automata-theoretic framework ⋮ An algebraic and algorithmic method for analysing transition systems ⋮ Weak and strong fairness in CCS ⋮ Ten years of Hoare's logic: A survey. II: Nondeterminism ⋮ On the verification of qualitative properties of probabilistic processes under fairness constraints. ⋮ Fair Π ⋮ Global and local views of state fairness ⋮ A taxonomy of fairness and temporal logic problems for Petri nets ⋮ Compositional verification of asynchronous concurrent systems using CADP
Uses Software
