High level programming for distributed computing

DOI10.1145/359114.359127zbMath0407.68017OpenAlexW2135457341MaRDI QIDQ4194422

Jerome A. Feldman

Publication date: 1979

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359114.359127

zbMATH Keywords

ModulesAssertionsDistributed ComputingMessages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items

The complexity of reachability in distributed communicating processes, A software architecture for distributed computer control systems, Data flow analysis of distributed communicating processes, PROCOL. A concurrent object-oriented language with protocols delegation and constraints, A weakest precondition semantics for communicating processes, Towards a language for concurrent processes