concurrency theory

Concurrency theory


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.


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