Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

DOI10.1007/978-3-540-74407-8_21MaRDI QIDQ3525645zbMATH OpenOpenAlexFDO

Authors Bow-Yaw Wang

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_21

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the completeness of compositional reasoning methods
• scientific article; zbMATH DE number 1670774
• scientific article; zbMATH DE number 1754638
• Automatic symbolic compositional verification by learning assumptions
• Automated Compositional Reasoning of Intuitionistically Closed Regular Properties

Cited in

(5)

• Automatic composition and reasoning in computational multi-agent systems
• AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES
• Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
• Automatic a priori, a posteriori or appropriate determination of subassemblies
• Derivability of rules from rule complexes

This page was built for publication: Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

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