Tunes! and HLL! (fwd)
Sun, 18 May 1997 16:30:44 +0200 (MET DST)
> What the hell /is/ pi-calculus, anyway??!!??
Well, you might look up papers by Robin Milner on the topic,
particularly his introductory paper on Polyadic Pi-Calculus.
[better be familiar with lambda-calculus first].
A quick WWW search yielded the following page,
from which postscript files can be found:
There are languages that kind of implement it, sometimes unknowingly.
If anyone is willing to contribute detailed information
(or lists of good WWW pointers) about Pi-calculus on the Tunes pages,
s/he'll be welcome.
== Fare' -- email@example.com -- Franc,ois-Rene' Rideau -- DDa(.ng-Vu~ Ba^n ==
Join the TUNES project for a computing system based on computing freedom !
TUNES is a Useful, Not Expedient System