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