Denotational semantics of communicating sequential programs

DOI10.1016/0020-0190(86)90082-7MaRDI QIDQ1088402zbMATH OpenOpenAlexFDO

Authors Manfred Broy

Publication date 1986

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(86)90082-7

zbMATH Keywords

streamverificationCSPspecificationdenotational semanticscommunicating systemscommunicating processesCommunicating Sequential Programs

Mathematics Subject Classification ID

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

Recommendations

• Semantics of communicating processes
• scientific article; zbMATH DE number 3956422
• scientific article; zbMATH DE number 4018375
• Denotational semantics of program schemas for languages for communicating sequential processes
• A Theory of Communicating Sequential Processes

Cites work

• scientific article; zbMATH DE number 3881875 (Why is no real title available?)
• scientific article; zbMATH DE number 3890713 (Why is no real title available?)
• scientific article; zbMATH DE number 3956416 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• Communicating sequential processes
• Semantics of communicating processes

Cited in

(19)

• scientific article; zbMATH DE number 4018374 (Why is no real title available?)
• scientific article; zbMATH DE number 3928330 (Why is no real title available?)
• scientific article; zbMATH DE number 4062561 (Why is no real title available?)
• scientific article; zbMATH DE number 3917688 (Why is no real title available?)
• scientific article; zbMATH DE number 3903946 (Why is no real title available?)
• Step failures semantics and a complete proof system
• scientific article; zbMATH DE number 4050949 (Why is no real title available?)
• scientific article; zbMATH DE number 1973989 (Why is no real title available?)
• Communicating processes with value-passing and assignments
• Denotational semantics of program schemas for languages for communicating sequential processes
• A linear-history semantics for languages for distributed programming
• A singleton failures semantics for communicating sequential processes
• Dealing denotationally with stream-based communication
• Semantics of communication in simple multimodular programs
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• Axiomatic semantics of communicating sequential processes
• Semantics of communicating processes
• scientific article; zbMATH DE number 3956422 (Why is no real title available?)
• scientific article; zbMATH DE number 3926215 (Why is no real title available?)

This page was built for publication: Denotational semantics of communicating sequential programs

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