\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Translation Schemes}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Milner's Original Lazy $\pi $--Calculus\ Scheme}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Milner's Original Strict $\pi $--Calculus\ Scheme}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Our New Scheme}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Asynchronous $\pi $--Calculus Schemes}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Tupled $\pi $--Calculus Schemes}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Improved $\pi $--Calculus Schemes}{4}}