Semantics of communication in simple multimodular programs

MaRDI QIDQ796293zbMATH OpenFDO

Authors N. E. Zubov

Publication date 1983

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

multiprocessor computer systemasynchronous communicationcommunication operatorssemantics of operators

Mathematics Subject Classification ID

Theory of software (68N99) Theory of operating systems (68N25)

Recommendations

• Semantics of communicating processes
• Denotational semantics of communicating sequential programs
• scientific article; zbMATH DE number 2087417
• On the Expressive Power of Communication Primitives in Parameterised Systems
• Theoretical aspects of communication-centred programming
• scientific article; zbMATH DE number 7453964
• Modular reasoning for message-passing programs
• A semantic approach to program modularity
• scientific article; zbMATH DE number 3928330
• Communication in concurrent dynamic logic

Cited in

(4)

• Theoretical aspects of communication-centred programming
• A compositional proof system for distributed programs
• On the Expressive Power of Communication Primitives in Parameterised Systems
• scientific article; zbMATH DE number 2087417 (Why is no real title available?)

This page was built for publication: Semantics of communication in simple multimodular programs

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