Examples and applications¶

An exercise: Reduce the following $\pi$ -calculus expression:

$(\nu{\it x})\big(\overline{\it x}\langle z \rangle.{0}\ |\ {\it x}(y).\overline{\it y}\langle x \rangle.{\it x}(y).{0}\big) \quad|\quad {\it z}(v).\overline{\it v}\langle v \rangle.{0}$

Mobile communications [Milner 91]

Previous topic

The pi-calculus, informally

Next topic

History; other formalisms