\relax 
\citation{MPW}
\citation{FunAsProcs}
\citation{PolyPi}
\citation{HandT}
\citation{Boudol}
\citation{Parle92}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Review of $\pi $--calculus}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}A Restricted Subcalculus of Mini Asynchronous $\pi $--Calculus}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Simulation of $\pi $--calculus\ by OGRe}{3}}
\bibcite{Boudol}{Boudol}
\bibcite{Parle92}{Gla92}
\bibcite{HandT}{HoTo91}
\bibcite{FunAsProcs}{Mil90}
\bibcite{PolyPi}{Mil91}
\bibcite{MPW}{MPW89}