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

Parallel process and related theory

 * Actor model
 * Algorithm
 * Alphabet (formal languages)
 * Automata theory
 * Bill Roscoe
 * Calculus of communicating systems
 * Channel (programming)
 * Communicating sequential processes
 * Computational complexity theory
 * Concurrency (computer science)
 * Concurrent computing
 * Critical section
 * Deadlock
 * Deterministic finite automaton
 * Dining philosophers problem
 * Distributed computing
 * Edsger W. Dijkstra
 * Finite-state machine
 * Formal language
 * Go (programming language)
 * Hoare logic
 * Inter-process communication
 * Interaction
 * Introduction to Automata Theory, Languages, and Computation
 * Lambda calculus
 * Limbo (programming language)
 * Linear bounded automaton
 * Lock (computer science)
 * Message passing
 * Monitor (synchronization)
 * Multiprocessing
 * Mutual exclusion
 * Non-deterministic Turing machine
 * Nondeterministic finite automaton
 * Null pointer
 * Occam (programming language)
 * Parallel computing
 * Parallel programming model
 * Pattern
 * Process (computing)
 * Process calculus
 * Pushdown automaton
 * Race condition
 * Semaphore (programming)
 * Shared memory
 * SuperPascal
 * Synchronization (computer science)
 * Theory of computation
 * Thread (computing)
 * Tony Hoare
 * Transition system
 * Turing machine
 * Unbounded nondeterminism
 * Π-calculus