scientific article; zbMATH DE number 4201637

MaRDI QIDQ3350772zbMATH OpenFDO

Authors

Publication date 1989

zbMATH Keywords

axiomatic semanticscompositional proof systemdistributed programsHoare logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A compositional proof system for distributed programs
• P-A logic - a compositional proof system for distributed programs
• A Logic for Distributed Higher Order π-Calculus
• Formal verification of a programming logic for a distributed programming language
• A trace-based compositional proof theory for fault tolerant distributed systems
• scientific article; zbMATH DE number 4026801
• An input/output semantics for distributed program equivalence reasoning
• Programming Languages and Systems

Cited in

(6)

• A proof system for distributed processes
• The ``Hoare Logic of CSP, and All That
• scientific article; zbMATH DE number 4070296 (Why is no real title available?)
• A compositional proof system for distributed programs
• A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
• P-A logic - a compositional proof system for distributed programs

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