\relax 
\citation{Mil80}
\citation{Tho89}
\citation{EnN86}
\citation{MPW89}
\citation{Leth91}
\citation{BeBo90}
\citation{Mil90}
\citation{Hon91}
\citation{Mil90}
\citation{KeSl82}
\citation{Tho89}
\citation{Tho90}
\citation{Mil90}
\citation{Leth91}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Synchronous and Asynchronous Process Calculi}{1}}
\citation{GPM89}
\citation{BMT91}
\citation{GLT91}
\citation{Bur84}
\citation{GKS91}
\citation{EnN86}
\citation{MPW89}
\citation{Leth91}
\citation{Hon91}
\citation{Mil90}
\citation{Hon91}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Practical Application of Process Calculi}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}A Process Notation}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Syntax of ACPL}{2}}
\citation{Hon91}
\citation{Hon91}
\citation{Mil90}
\citation{MPW89}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Syntax of SCPL}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Sequentialisation and Tupled Communication}{3}}
\citation{MPW89}
\citation{MPW89}
\citation{Hon91}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Output Guards using Asynchronous Communication}{4}}
\citation{Hon91}
\citation{Mil90}
\citation{Abr88}
\@writefile{toc}{\contentsline {section}{\numberline {3}Translation of Lazy $\lambda $--Calculus}{5}}
\citation{Hon91}
\citation{GKS91}
\citation{LEAN}
\citation{BEGKPS87}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}An Extension to Milner's Lazy $\lambda $--Calculus Scheme}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}An Example Translation}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Process Notation and Graph Rewriting}{6}}
\citation{CONPAR}
\citation{CTOD}
\citation{FGCS88}
\citation{PanH}
\citation{GLT91}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}The Graph Rewriting Language Dactl}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Translating ACPL Networks to Standard Form}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Translating ACPL Networks to Graph Rewriting Systems}{11}}
\citation{BEGKPS87}
\citation{BeBo90}
\citation{Mil90}
\citation{GLT91}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Translating SCPL Networks to Graph Rewriting Systems}{12}}
\citation{Hon91}
\citation{Mil90}
\citation{Hon91}
\citation{Hon91}
\bibcite{Abr88}{1}
\bibcite{BEGKPS87}{2}
\bibcite{LEAN}{3}
\bibcite{BeBo90}{4}
\bibcite{BMT91}{5}
\bibcite{Bur84}{6}
\bibcite{EnN86}{7}
\bibcite{GPM89}{8}
\@writefile{toc}{\contentsline {section}{\numberline {5}Conclusions}{14}}
\bibcite{GKS91}{9}
\bibcite{CONPAR}{10}
\bibcite{FGCS88}{11}
\bibcite{PanH}{12}
\bibcite{GLT91}{13}
\bibcite{Hon91}{14}
\bibcite{KeSl82}{15}
\bibcite{CTOD}{16}
\bibcite{Leth91}{17}
\bibcite{Mil80}{18}
\bibcite{Mil90}{19}
\bibcite{MPW89}{20}
\bibcite{Tho89}{21}
\bibcite{Tho90}{22}