User:Paolo.Faustini/Books/Parallel process and related theory

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 ]

Parallel process and related theory

Actor model; Communicating sequential processes; Computer network; Concurrency (computer science); Concurrency control; Concurrent computing; Critical section; Deadlock; Denotational semantics; Distributed computing; Divergence (computer science); Finite-state machine; Interrupt; Linearizability; Lock (computer science); Message passing; Multiprocessing; Mutual exclusion; Non-blocking algorithm; Parallel computing; Petri net; Preemption (computing); Process (computing); Process calculus; Race condition; Semaphore (programming); Shared memory; Synchronization (computer science); Thread (computing); Tony Hoare; Unbounded nondeterminism; Actor model; Communicating sequential processes; Computer network; Concurrency (computer science); Concurrency control; Concurrent computing; Critical section; Deadlock; Denotational semantics; Distributed computing; Divergence (computer science); Finite-state machine; Interrupt; Linearizability; Lock (computer science); Message passing; Multiprocessing; Mutual exclusion; Non-blocking algorithm; Parallel computing; Petri net; Preemption (computing); Process (computing); Process calculus; Race condition; Semaphore (programming); Shared memory; Synchronization (computer science); Thread (computing); Tony Hoare
a: Unbounded nondeterminism