Programming semantics for multiprogrammed computations
From MaRDI portal
Publication:5514828
DOI10.1145/365230.365252zbMath0139.32806OpenAlexW4249212548MaRDI QIDQ5514828
E. C. van Horn, Jack B. Dennis
Publication date: 1966
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/365230.365252
Related Items (12)
Holistic Specifications for Robust Programs ⋮ Boltzmann machines as a model for parallel annealing ⋮ A general approach to nonlinear FE compuations on shared-memory multiprocessors ⋮ Developing WWW-based highly interactive and collaborative applications using software components ⋮ A survey of concurrent object-oriented languages ⋮ Abstrakte Modelle zur Untersuchung von sicheren Systemen ⋮ Implications of series-parallel sequencing rules ⋮ From a Proven Correct Microkernel to Trustworthy Large Systems ⋮ DCapBAC: embedding authorization logic into smart things through ECC optimizations ⋮ seL4 Enforces Integrity ⋮ Operating system verification---an overview ⋮ StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities
This page was built for publication: Programming semantics for multiprogrammed computations
