scientific article; zbMATH DE number 1956523

MaRDI QIDQ4417869zbMATH OpenFDO

Authors Patrick Maier

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200343.htm

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 1670774
• On the completeness of compositional reasoning methods
• scientific article; zbMATH DE number 1754638
• Automated circular assume-guarantee reasoning
• Abstract patterns of compositional reasoning.

Cited in

(10)

• Automated compositional proofs for real-time systems
• Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Debits and Credits in Petri Nets and Linear Logic
• Automated circular assume-guarantee reasoning
• scientific article; zbMATH DE number 1670774 (Why is no real title available?)
• scientific article; zbMATH DE number 1754637 (Why is no real title available?)
• scientific article; zbMATH DE number 1754638 (Why is no real title available?)
• Compositional reasoning
• On the completeness of compositional reasoning methods

This page was built for publication:

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