User:PaprikaDreams/Books/OS
 | The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
 | You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] | ||||||||
OS
[edit]- 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