Category:Concurrency (computer science)
![]() | Computing portal |
Here is a list of articles in the Concurrency (computer science) category of the Computing portal that unifies foundations of mathematics and computations using computers. Concurrency is a property of systems which consist of computations that execute overlapped in time, and which may permit the sharing of common resources between those overlapped computations.
Subcategories
This category has the following 2 subcategories, out of 2 total.
C
Pages in category "Concurrency (computer science)"
The following 39 pages are in this category, out of 39 total.
- Concurrency (computer science) (computing)
A
- ABA problem (computing)
- Active object (computing)
- Augmented marked graph (computing)
B
- Balking pattern (computing)
C
- Channel system (computer science) (computing)
- Chord (concurrency) (computing)
- Cigarette smokers problem (computing)
- Communicating finite-state machine (computing)
- Concurrency pattern (computing)
- Construction and Analysis of Distributed Processes (software)
D
- Deadlock (computing)
- Dining philosophers problem (computing)
E
- E-LOTOS (computing)
H
- Hennessy–Milner logic (computing)
- History monoid (computing)
L
- Language Of Temporal Ordering Specification (computing)
M
- Memory model (programming) (computing)
- Memory ordering (computing)
N
- Nets within Nets (computing)
P
- Parallel IO (computing)
- Petri net (computing)
- Producer–consumer problem (computing)
R
- Race condition (computing)
- Racetrack problem (computing)
- Readers–writers problem (computing)
- Reentrancy (computing) (computing)
- Reo Coordination Language (computing)
S
- Concurrency semantics (computing)
- Sleeping barber problem (computing)
- Speculative execution (computing)
- Starvation (computer science) (computing)
- Stochastic Petri net (computing)
- Synchronization (computer science) (computing)
T
- Temporal logic of actions (computing)
- TLA+ (computing)
- Turn restriction routing (computing)
U
- Unbounded nondeterminism (computing)
V
- Vector addition system (computing)