Some tutorial papers

• piHOPIasy.ps.gz
  Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) ,
  April 99. To appear in TCS.
• Interpreting functions as pi-calculus processes: a tutorial ,
  Draft, August 98, revised February 99. (Sorry, this is not anymore available; it is part of the pi-calculus book)