Denotational semantics of communicating sequential programs

DOI10.1016/0020-0190(86)90082-7zbMath0612.68024OpenAlexW2084426999MaRDI QIDQ1088402

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

verificationstreamCSPdenotational semanticsspecificationcommunicating systemscommunicating processesCommunicating Sequential Programs

Mathematics Subject Classification ID

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

Related Items (1)

Step failures semantics and a complete proof system

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of communicating processes
• A Theory of Communicating Sequential Processes
• Communicating sequential processes

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