\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Changes}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}$\pi ^\pi $--Calculus\ Syntax}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}$\pi ^\pi $--Calculus\ Processes}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}$\pi ^\pi $--Calculus\ Scripts}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}$\pi ^\pi $--Calculus\ Syntactic Constraints}{3}}
\citation{MPW}
\citation{FunAsProcs}
\@writefile{toc}{\contentsline {section}{\numberline {4}$\pi ^\pi $--Calculus\ Semantics}{4}}
\citation{PolyPi}
\citation{HandT}
\citation{Boudol}
\citation{Parle92}
\@writefile{toc}{\contentsline {section}{\numberline {5}Review of $\pi $--calculus}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Simulation of $\pi $--calculus\ by $\pi ^\pi $--calculus}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {7}A Restricted Subcalculus of $\pi $--Calculus}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Simulation of $\lambda $--calculus\ by $\pi ^\pi $--calculus}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {9}Simulation of $\pi $--calculus\ by OGRe}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1}OGRe\ Channel Processes}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2}Simulation of $\pi $--calculus}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {10}Simulation of $\pi ^\pi $--calculus\ by OGRe}{9}}
\bibcite{Boudol}{Boudol}
\bibcite{Parle92}{Gla92}
\bibcite{HandT}{HoTo91}
\bibcite{FunAsProcs}{Mil90}
\@writefile{toc}{\contentsline {section}{\numberline {11}Simulation of $\lambda $--calculus\ by OGRe}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {12}History}{10}}
\bibcite{PolyPi}{Mil91}
\bibcite{MPW}{MPW89}