Publication:4733384
From MaRDI portal
zbMath0683.68013MaRDI QIDQ4733384
E. Allen Emerson, Jai Srinivasan
Publication date: 1989
tree automata; program verification; decision procedures; branching-time temporal logic; dynamic logics; finite-state automata on infinite objects
68Q45: Formal languages and automata
03B45: Modal logic (including the logic of norms)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A logic of intentions and beliefs, Point algebras for temporal reasoning: Algorithms and complexity, Automated analysis of mutual exclusion algorithms using CCS, On the logic of cooperation and propositional control, Unnamed Item