\relax 
\bibstyle{alpha}
\citation{KeSl82}
\citation{Tho89}
\citation{Tho90}
\citation{Mil90}
\citation{Leth91}
\citation{GPM89}
\citation{HoTo91}
\citation{Bur84}
\citation{Abr88}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}The Lazy- and Eager- $\lambda $-Calculus}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}The Lazy-$\lambda $-Calculus}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}The Eager-$\lambda $-Calculus}{2}}
\citation{Bur84}
\citation{EnN86}
\citation{MPW89}
\citation{Leth91}
\citation{PolyPi}
\citation{HoTo91}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}A Mixed Calculus}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}A Process Notation}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Syntax}{4}}
\citation{Mil90}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Operational semantics for Process Notation }}{5}}
\newlabel{opsem}{{1}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Operational Semantics}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Translation of Lazy and Eager $\lambda $-Calculus}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}The New Translation Scheme}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Properties of the New Scheme}{6}}
\citation{HoTo91}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Elimination of Some Recursion}{7}}
\citation{GKS91}
\@writefile{toc}{\contentsline {section}{\numberline {5}Process Notation and Graph Rewriting}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}A Standard From for Process Networks}{8}}
\citation{Ken90}
\citation{GlaPap88}
\citation{GlaPap91}
\citation{GKS91}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}The Graph Rewriting Language Dactl}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Translation of Standard Form Networks to Dactl}{11}}
\citation{BEGKPS87}
\citation{BeBo90}
\citation{HoTo91}
\@writefile{toc}{\contentsline {section}{\numberline {6}Results}{13}}
\bibdata{Chapter18}
\bibcite{Abr88}{Abr88}
\bibcite{BEGKPS87}{Bar87}
\bibcite{BeBo90}{Ber90}
\bibcite{Bur84}{Bur84}
\bibcite{EnN86}{Eng86}
\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{14}}
\bibcite{GPM89}{Gia89}
\bibcite{GlaPap88}{Gla88}
\bibcite{GlaPap91}{Gla91a}
\bibcite{GKS91}{Gla91b}
\bibcite{HoTo91}{Hon91}
\bibcite{KeSl82}{Ken82}
\bibcite{Ken90}{Ken90}
\bibcite{Leth91}{Let91}
\bibcite{Mil89}{Mil89}
\bibcite{Mil90}{Mil90}
\bibcite{PolyPi}{Mil91}
\bibcite{MPW89}{MPW89}
\bibcite{Tho89}{Tho89}
\bibcite{Tho90}{Tho90}