scientific article; zbMATH DE number 3956416

zbMATH Open0594.68018MaRDI QIDQ3725528FDOQ3725528

Authors: Howard Barringer, Ruurd Kuiper, Amir Pnueli 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

program specificationdynamic process creationtotal correctnesstemporal semanticsCSP-like languagecompositional temporal proof systemdynamic network of processesliveness aspects of synchronised message based communicationprogram correctness proofs

Mathematics Subject Classification ID

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

Cited In (15)

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

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)