For concurrent systems, the idea is to express the set of all possible computations.

Process calculi were developed to reason about correctness of concurrent systems.

Message passing can be used as a way of controlling access to resources in a concurrent or asynchronous system.

The arrangements for field experience have varied through the years from the concurrent to the block system.

The pattern in recent years has been the concurrent system with block placements available on a selective basis.

The π-calculus has been used to describe many different kinds of concurrent systems.

It may also play a role in other models of concurrent systems such as process calculi.

It is used to model interactions in such concurrent systems as the Internet.

It is also a platform for developing object-based concurrent systems in practice.

Various types of temporal logic can be used to help reason about concurrent systems.