pi

Pietro Braione schizophonic@tiscali.it
Wed Jul 10 16:36:01 2002


I wrote some notes on pi calculus on the Wiki. 
Can someone else have a look at it to check if 
there are major mistakes?
Moreover, the formatting is ugly and I did not 
find instructions. How do I do verbatim? How 
can I prevent capitalized ids to be considered as 
keywords?

Pietro