nLab concurrency theory

Idea

Concurrency (or maybe rather parallelism (Harper)) is a joint property of several (maybe interacting) processes proceeding simultaneously. Here the word “simultaneously” indicates that the evolution of the participating processes is indexed along an irreversible directed object.

Calculi

π-calculus

The processes can either be the nil process $0$, parallel execution $P \mid Q$, sending on channel $c$ and then continuing $\overline{c}\langle x \rangle.P$, receiving on channel $c$ and then continuing $c(x).P$, replicating a process $!P$ or introduction of a new name $(\nu x)P$.

Rho Calculus

Related entries

• parallel computing

• models for concurrency

• Directed Algebraic Topology and Concurrency

• Some geometric perspectives in concurrency theory

• in a wider sense also articles related to directed homotopy theory, cf.

  • Directed Algebraic Topology

  • directed homotopy type theory

References

• wikipedia process calculus
• Bob Harper, Parallelism is not concurrency

• Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen, Directed Algebraic Topology and Concurrency

• The Pi calculus: toward global computing Rchain blog

• zoranskoda:distributed consensus

category: computer science