The structure of the “THE”-multiprogramming system
From MaRDI portal
Publication:5548674
DOI10.1145/363095.363143zbMath0164.18704OpenAlexW2103444363WikidataQ30053288 ScholiaQ30053288MaRDI QIDQ5548674
Publication date: 1968
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/363095.363143
Related Items
Relation-based semantics for concurrency ⋮ Goldilocks and the three specifications ⋮ Top-down development of layered fault tolerant systems and its problems -- a deontic perspective ⋮ Evidential reasoning using stochastic simulation of causal models ⋮ Proving programs correct: Some techniques and examples ⋮ A semantics for concurrent separation logic ⋮ A New Property of Choice-Free Petri Net Systems ⋮ Methods and means of parallel processing of information ⋮ A pragmatic proposal for the improvement of program modularity and reliability ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ Starvation-free mutual exclusion with semaphores ⋮ Appraising two decades of distributed computing theory research ⋮ PROCESSES AND THEIR INTERACTIONS ⋮ An experience using different synchronisation mechanisms on a shared memory multiprocessors ⋮ Semantic decomposition of computer programs: An aid to program testing ⋮ Transforming sequential systems into concurrent systems ⋮ An axiomatic proof technique for parallel programs ⋮ Abstract state machines: a unifying view of models of computation and of system design frameworks ⋮ The synchronization of independent processes ⋮ A survey of concurrent object-oriented languages ⋮ A starvation-free solution to the mutual exclusion problem ⋮ On an extension of Dijkstra's semaphore primitives ⋮ ON SOME RECENT ADVANCES IN COMPLEX SOFTWARE NETWORKS: MODELING, ANALYSIS, EVOLUTION AND APPLICATIONS ⋮ Prozessumschaltungen in Betriebssystemen ⋮ Port automata and the algebra of concurrent porcesses ⋮ Product optimization in stepwise design
