\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Varieties of $\pi $--Calculi}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Simulation of $\pi $--calculus\ by OGRe}{2}}