# 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)*