User:Paolo.Faustini/Books/Parallel process and related theory
 | 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 ] | ||||||||
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