scientific article; zbMATH DE number 3993549

zbMath0614.03023MaRDI QIDQ4722045

Chin-Laung Lei, E. Allen Emerson

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parallelismtense logicdecision procedurebranching temporal logicFair Computation Tree Logicfairness properties

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items

Diagnosability of fair transition systems, Robust worst cases for parity games algorithms, Assumption-based runtime verification, Towards a grand unification of Büchi complementation constructions, Reasoning About Substructures and Games, Control machines: A new model of parallelism for compositional specifications and their effective compilation, Checking extended CTL properties using guarded quotient structures, Solving parity games via priority promotion, Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\), A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata, Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach