\relax 
\citation{CCS}
\citation{TCCS}
\citation{Pi}
\citation{FunAsProcs}
\citation{Leth91}
\citation{PolyPi}
\citation{CCS}
\citation{CCS}
\citation{CSP}
\citation{ECCS}
\citation{TCCS}
\citation{CHOCS}
\citation{Chocs}
\citation{CHAM}
\citation{Pi}
\citation{FunAsProcs}
\citation{Leth91}
\citation{PolyPi}
\citation{HoT91}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{Pi}
\@writefile{toc}{\contentsline {section}{\numberline {2}A $\nu $--Notation}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}$\nu $--Notation\ for Syntax}{2}}
\citation{OperSem}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}$\nu $--Notation\ for Semantics}{3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.1}Structural Congruence}{3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.2}Reduction Rules}{4}}
\citation{CCS}
\citation{CSP}
\citation{CCS}
\citation{CC}
\@writefile{toc}{\contentsline {section}{\numberline {3}Redefining the Syntax and Semantics for Each Process Calculus}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}CCS}{5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.1}Syntax and Semantics of CCS}{5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.2}Redefined CCS}{6}}
\citation{TCCS}
\citation{CCS}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}TCCS}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}Syntax and Semantics of TCCS}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.2}Redefined TCCS}{8}}
\citation{CHAM}
\citation{Gamma}
\citation{CHAM}
\citation{TCCS}
\citation{gamma}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}TCCS Cham}{9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.1}Syntax and Semantics of TCCS Cham}{9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.3.2}Redefined Syntax and Semantics of TCCS Cham}{10}}
\citation{Pi}
\citation{ECCS}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}$\pi $--Calculus}{11}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.1}Syntax and Semantics of the $\pi $--Calculus}{11}}
\citation{FunAsProcs}
\citation{CHAM}
\citation{FunAsProcs}
\citation{FunAsProcs}
\citation{FunAsProcs}
\citation{Leth91}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.2}Redefined $\pi $--Calculus}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}LCCS}{14}}
\citation{TCCS}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.5.1}Syntax and Semantics of LCCS}{15}}
\citation{Pi}
\citation{Pi}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.5.2}Redefined LCCS}{16}}
\citation{PolyPi}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6}Polyadic $\pi $--Calculus}{17}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.6.1}Syntax and Semantics of the Polyadic $\pi $--Calculus}{17}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.6.2}Redefined Polyadic $\pi $--Calculus}{18}}
\citation{Asynch}
\citation{AsynchMobile}
\@writefile{toc}{\contentsline {section}{\numberline {4}Conclusions}{19}}
\bibcite{Gamma}{BLM86}
\bibcite{CHAM}{BeBo90}
\bibcite{gamma}{Bou89}
\bibcite{TCCS}{DNH87}
\bibcite{ECCS}{EnN86}
\bibcite{AsynchMobile}{Gla92}
\bibcite{CSP}{Hoa85}
\bibcite{Asynch}{HoT91}
\bibcite{Leth91}{Leth91}
\bibcite{CCS}{Mil80}
\bibcite{CC}{Mil89}
\bibcite{Pi}{MPW89}
\bibcite{FunAsProcs}{Mil90}
\bibcite{PolyPi}{Mil91}
\bibcite{OperSem}{Plo81}
\bibcite{CHOCS}{Tho89}
\bibcite{Chocs}{Tho90}
\@writefile{toc}{\contentsline {section}{\numberline {A}Entities}{21}}
\@writefile{toc}{\contentsline {section}{\numberline {B}Agent Constructions}{22}}