Semantics of communication in simple multimodular programs

zbMATH Open0543.68014MaRDI QIDQ796293FDOQ796293

Authors: N. E. Zubov 

Publication date: 1983

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

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

zbMATH Keywords

multiprocessor computer systemasynchronous communicationcommunication operatorssemantics of operators

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)

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)