On Friday, 7 March 2014 at 18:58:18 UTC, Russel Winder wrote:
It's just a pity no-one yet has arealization of π-calculus as well – other than the programming language Pict, and the Scala library PiLib.
JoCaml, an extension of Ocaml, also comes to mind. It's join-calculus, not pi-calculus, but I understand that each can be encoded in the other.
Graham