User:PaprikaDreams/Books/OS

OS

 * Concurrency (computer science)
 * ABA problem
 * Chord (concurrency)
 * Cigarette smokers problem
 * Communicating finite-state machine
 * Construction and Analysis of Distributed Processes
 * Deadlock
 * Dining philosophers problem
 * E-LOTOS
 * Hennessy–Milner logic
 * History monoid
 * Language Of Temporal Ordering Specification
 * Memory model (programming)
 * Memory ordering
 * Nets within Nets
 * Parallel I/O
 * Petri net
 * Race condition
 * Racetrack problem
 * Readers–writers problem
 * Reentrancy (computing)
 * Reo Coordination Language
 * Concurrency semantics
 * Sleeping barber problem
 * Starvation (computer science)
 * Stochastic Petri net
 * Synchronization (computer science)
 * Temporal logic of actions
 * TLA+
 * Unbounded nondeterminism
 * Vector addition system