nLab concurrency theory

Concurrency theory

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 00, parallel execution PQP \mid Q, sending on channel cc and then continuing c¯x.P\overline{c}\langle x \rangle.P, receiving on channel cc and then continuing c(x).Pc(x).P, replicating a process !P!P or introduction of a new name (νx)P(\nu x)P.

Rho Calculus

References

Last revised on December 13, 2023 at 09:52:56. See the history of this page for a list of all contributions to it.