Semantics of communication in simple multimodular programs

zbMATH Open0543.68014MaRDI QIDQ796293FDOQ796293

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)

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?)

   Recommendations

• Semantics of communicating processes 👍 👎
• Denotational semantics of communicating sequential programs 👍 👎
• Title not available (Why is that?) 👍 👎
• On the Expressive Power of Communication Primitives in Parameterised Systems 👍 👎
• Theoretical aspects of communication-centred programming 👍 👎
• Title not available (Why is that?) 👍 👎
• Modular Reasoning for Message-Passing Programs 👍 👎
• A semantic approach to program modularity 👍 👎
• Title not available (Why is that?) 👍 👎
• Communication in concurrent dynamic logic 👍 👎

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)