Compositional Failure Detection in Structured Transition Systems
From MaRDI portal
Publication:5200059
DOI10.1007/978-3-642-22256-6_13zbMath1297.68169OpenAlexW1821818097MaRDI QIDQ5200059
Ingo Felscher, Wolfgang Thomas
Publication date: 29 July 2011
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: http://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-008292%22
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algorithmic uses of the Feferman-Vaught theorem
- The monadic theory of order
- The first order properties of products of algebraic systems
- Weak Second‐Order Arithmetic and Finite Automata
- Decision Problems of Finite Automata Design and Related Arithmetics
- Products of modal logics, part 1
- The Compositional Method and Regular Reachability
- Compositional Failure Detection in Structured Transition Systems
- On compositionality and its limitations
- Model Theory Makes Formulas Large
- On direct products of theories
