Pages that link to "Item:Q5548674"
From MaRDI portal
The following pages link to The structure of the “THE”-multiprogramming system (Q5548674):
Displaying 20 items.
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Port automata and the algebra of concurrent porcesses (Q791319) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- Evidential reasoning using stochastic simulation of causal models (Q1101266) (← links)
- Methods and means of parallel processing of information (Q1155954) (← links)
- Semantic decomposition of computer programs: An aid to program testing (Q1211839) (← links)
- An axiomatic proof technique for parallel programs (Q1219675) (← links)
- The synchronization of independent processes (Q1228197) (← links)
- A starvation-free solution to the mutual exclusion problem (Q1253914) (← links)
- Relation-based semantics for concurrency (Q1328556) (← links)
- Top-down development of layered fault tolerant systems and its problems -- a deontic perspective (Q1353857) (← links)
- An experience using different synchronisation mechanisms on a shared memory multiprocessors (Q1764752) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Prozessumschaltungen in Betriebssystemen (Q1843171) (← links)
- Product optimization in stepwise design (Q2115903) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)
- On an extension of Dijkstra's semaphore primitives (Q2554951) (← links)
- ON SOME RECENT ADVANCES IN COMPLEX SOFTWARE NETWORKS: MODELING, ANALYSIS, EVOLUTION AND APPLICATIONS (Q2843507) (← links)
- Appraising two decades of distributed computing theory research (Q5138493) (← links)
