Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems
From MaRDI portal
Publication:846294
DOI10.1007/978-3-642-11881-4zbMath1181.03044MaRDI QIDQ846294
Publication date: 9 February 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11881-4
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Verification of qualitative \(\mathbb Z\) constraints, Linear-time temporal logics with Presburger constraints: an overview ★, On the relationships between theories of time granularity and the monadic second-order theory of one successor