High level programming for distributed computing

From MaRDI portal

Revision as of 13:03, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4194422

Jump to:navigation, search

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

Modules Assertions Distributed Computing Messages

Mathematics Subject Classification ID

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

Related Items (6)

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

This page was built for publication: High level programming for distributed computing

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4194422&oldid=18037685"