Semantics of communication in simple multimodular programs

zbMath0543.68014MaRDI QIDQ796293

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 operating systems (68N25) Theory of software (68N99)

Related Items (1)

A compositional proof system for distributed programs

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