Tunes! and HLL! (fwd)

Fare Rideau rideau@nef.ens.fr
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:
	http://shiva.di.uminho.pt/~pinj/Actividade/I_e_D/concorrencia.html

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' -- rideau@ens.fr -- 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: "http://www.eleves.ens.fr:8080/home/rideau/Tunes/"