scientific article; zbMATH DE number 3956416

MaRDI QIDQ3725528zbMATH OpenFDO

Authors Howard Barringer, Ruurd Kuiper, Amir Pnueli

Publication date 1986

zbMATH Keywords

compositional temporal proof systemCSP-like languagedynamic network of processesdynamic process creationliveness aspects of synchronised message based communicationprogram correctness proofsprogram specificationtemporal semanticstotal correctness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3956422
• A model and temporal proof system for networks of processes
• scientific article; zbMATH DE number 4112564
• Specification and Proof in Real Time CSP
• scientific article; zbMATH DE number 3997153

Cited in

(16)

• A model and temporal proof system for networks of processes
• Denotational semantics of communicating sequential programs
• Specification and top-down design of distributed systems
• Compositional semantics for real-time distributed computing
• A model checker for linear time temporal logic
• The complexity of the temporal logic with ``until over general linear time
• Compositional and local livelock analysis for CSP
• Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
• On hierarchically developing reactive systems
• Expressiveness of propositional projection temporal logic with star
• Adequacy and complete axiomatization for timed modal logic
• scientific article; zbMATH DE number 3881859 (Why is no real title available?)
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• scientific article; zbMATH DE number 3956422 (Why is no real title available?)
• scientific article; zbMATH DE number 3980467 (Why is no real title available?)
• Denote CSP with temporal formulas

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