The compositional method and regular reachability

DOI10.1016/J.ENTCS.2008.12.034MaRDI QIDQ4982089zbMATH OpenOpenAlexFDO

Authors Ingo Felscher

Publication date 23 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.12.034

zbMATH Keywords

asynchronous productcompositional methodFeferman-Vaught theoremmodal logicregular reachabilitysynchronized product

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS
• On compositionality and its limitations
• Concurrency makes simple theories hard
• scientific article; zbMATH DE number 4180789
• Compositional and quantitative model checking (extended abstract)

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• scientific article; zbMATH DE number 1086492 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 1852915 (Why is no real title available?)
• scientific article; zbMATH DE number 930362 (Why is no real title available?)
• Model Checking Synchronized Products of Infinite Transition Systems
• Model Theory Makes Formulas Large
• Model theory.
• On compositionality and its limitations
• On direct products of theories
• Products of modal logics, part 1
• Selection and Uniformization in Generalized Product
• The first order properties of products of algebraic systems
• The monadic theory of order

Cited in

(4)

• Concurrency makes simple theories hard
• COMPOSITIONALITY AND REACHABILITY WITH CONDITIONS ON PATH LENGTHS
• Compositional failure detection in structured transition systems
• On compositionality and its limitations

This page was built for publication: The compositional method and regular reachability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982089)