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

Pi 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 August 22, 2019 at 23:33:40. See the history of this page for a list of all contributions to it.