Tunes! and HLL! (fwd)

Alaric B. Williams alaric@abwillms.demon.co.uk
Sun, 18 May 1997 21:04:21 +0000


> > 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.

Right.

> [better be familiar with lambda-calculus first].

I'd call myself "Passably" familiar :-)

> 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

Brilliant. Thanks!

ABW
--
Alaric B. Williams (alaric@abwillms.demon.co.uk)

   ---<## OpenDOS FAQ ##>---

Plain HTML: http://www.delorie.com/opendos/faq/
            http://www.deltasoft.com/faq.html

Fancy HTML: http://www.deltasoft.com/faq0000.html