scientific article; zbMATH DE number 3905833

MaRDI QIDQ3683529zbMATH OpenFDO

Authors Glynn Winskel

Publication date 1985

zbMATH Keywords

dynamic logicmodal logicparallel programsproof rulesproof systemSCCSSynchronous Calculus of Communicating Systems

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(10)

• A context dependent equivalence between processes
• An explanatory presentation of composition rules for assumption- commitment specifications
• Composition of assumption-commitment specifications in a UNITY style
• Complete proof systems for weighted modal logic
• Decompositional reasoning about the history of parallel processes
• scientific article; zbMATH DE number 3940709 (Why is no real title available?)
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• Modal logics for communicating systems
• Compositional checking of satisfaction
• Proof systems for satisfiability in Hennessy-Milner logic with recursion

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 Q3683529)