The test-and-set operation can solve the wait-free consensus problem for no more than two concurrent processes.

Cooperating concurrent processes have an inherent need for synchronization, which ensures that changes happen in a correct and predictable fashion.

Multiple, inter-dependent, and concurrent processes are too complex for traditional process mapping, but can be analyzed very quickly with the value network method.

Spatial logics, used for reasoning about interaction between concurrent and distributed processes.

A concurrent process called lateral erosion refers to the widening of a stream channel or valley.

Atomicity is a guarantee of isolation from concurrent processes.

One of the major issues in concurrent computing is preventing concurrent processes from interfering with each other.

These facilities enable a designer to simulate concurrent processes, each described using plain C++ syntax.

There are a number of different models for how concurrent processes can interact or communicate.

The language allows for the dynamic creation of concurrent processes to model, for example, distributed systems.