Pages that link to "Item:Q1166926"
From MaRDI portal
The following pages link to Fairness and related properties in transition systems - a temporal logic to deal with fairness (Q1166926):
Displaying 28 items.
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Modal logics for communicating systems (Q578896) (← links)
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- Global and local views of state fairness (Q804304) (← links)
- A taxonomy of fairness and temporal logic problems for Petri nets (Q805257) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Arity hierarchy for temporal logics (Q944387) (← links)
- Ten years of Hoare's logic: A survey. II: Nondeterminism (Q1056534) (← links)
- An introduction to the regular theory of fairness (Q1102102) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- Strong fairness and ultra metrics (Q1193893) (← links)
- On feasible cases of checking multi-agent systems behavior. (Q1401355) (← links)
- An algebraic and algorithmic method for analysing transition systems (Q1822237) (← links)
- Weak and strong fairness in CCS (Q1822489) (← links)
- Model checking and abstraction to the aid of parameterized systems (a survey) (Q1886449) (← links)
- Verification of concurrent programs: The automata-theoretic framework (Q2277249) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Generating non-conspiratorial executions (Q2379964) (← links)
- Model checking with fairness assumptions using PAT (Q2418662) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540) (← links)
- Fair \(\pi\) (Q2866341) (← links)
- The Birth of Model Checking (Q3512430) (← links)
- Fairness and regularity for SCCS processes (Q3816967) (← links)
- On proving properties of completion strategies (Q5055777) (← links)
- Fairness and hyperfairness (Q5137907) (← links)
- Automated temporal reasoning about reactive systems (Q6560389) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
