On Fri, 2014-03-07 at 19:16 +0000, Graham Fawcett wrote: > On Friday, 7 March 2014 at 18:58:18 UTC, Russel Winder wrote: > > > It's just a pity no-one yet has a > > realization 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.
I haven't done anything with OCaml other than compiling Unison, so didn't realize they had gone this route. Re join-calculus vs π-calculus, I have no direct experience, but I suspect that it will be like actors and dataflow and CSP: each can be realized in one of the others, but if you want things to be efficient you realize them separately. -- Russel. ============================================================================= Dr Russel Winder t: +44 20 7585 2200 voip: sip:[email protected] 41 Buckmaster Road m: +44 7770 465 077 xmpp: [email protected] London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder
signature.asc
Description: This is a digitally signed message part
