Tunes! and HLL! (fwd)

Fare Rideau
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' -- -- 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
URL: ""