Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Some tutorials
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)