On the suitability of trace semantics for modular proofs of communicating processes

DOI10.1016/0304-3975(85)90130-6MaRDI QIDQ1060004zbMATH OpenOpenAlexFDO

Authors Ralph-Johan Back, Heikki Mannila

Publication date 1985

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(85)90130-6

zbMATH Keywords

partial correctness assertionscommunicating processesmodular proof systemsemantic model

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites work

• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3808929 (Why is no real title available?)
• scientific article; zbMATH DE number 3817014 (Why is no real title available?)
• scientific article; zbMATH DE number 3926215 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 795666 (Why is no real title available?)
• scientific article; zbMATH DE number 3419181 (Why is no real title available?)
• A Proof System for Communicating Sequential Processes
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• A calculus of total correctness for communicating processes
• A linear-history semantics for languages for distributed programming
• An axiomatic basis for computer programming
• Deadlock absence proofs for networks of communicating processes
• Processes and the denotational semantics of concurrency

Cited in

(5)

• Towards a complete hierarchy of compositional dataflow models
• Revisiting Semantics of Interactions for Trace Validity Analysis
• scientific article; zbMATH DE number 3846840 (Why is no real title available?)
• A fully abstract trace model for dataflow and asynchronous networks
• scientific article; zbMATH DE number 1931943 (Why is no real title available?)

This page was built for publication: On the suitability of trace semantics for modular proofs of communicating processes

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