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.
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$.
in a wider sense also articles related to directed homotopy theory, cf.
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
Last revised on December 13, 2023 at 09:52:56. See the history of this page for a list of all contributions to it.