\relax 
\citation{Facile}
\citation{CCS}
\citation{Pi}
\citation{PolyPi}
\citation{FunAsProcs}
\citation{Leth91}
\citation{PolyPi}
\citation{SemSym}
\citation{Parle92}
\citation{MessageBrokers}
\citation{Paragon}
\citation{Dactl}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Background}{1}}
\citation{CHAM}
\citation{FacileCHAM}
\citation{KuoFacile}
\citation{DistribFacile}
\citation{MachFacile}
\citation{Facile}
\@writefile{toc}{\contentsline {section}{\numberline {2}A Source Language}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Source Language Syntax}{2}}
\citation{Bur84}
\citation{SemSym}
\citation{Abr88}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Source Language Semantics}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}A Simple Process Notation}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Informal Description of the Process Model}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Syntax and Informal Semantics of the Process Model}{5}}
\citation{FacileCHAM}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}An Example of the Process Model}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {4}A Translation Scheme for Facile}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Translation of the Source Language}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}An Example of a Translated Expression}{7}}
\citation{Paragon}
\citation{Dactl}
\@writefile{toc}{\contentsline {section}{\numberline {5}Implementation of the Process Model by Graph Rewriting}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Direct Implementation of the Process Model}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Optimisation}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}Processing Messages}{10}}
\citation{AM}
\bibcite{Paragon}{ABK92}
\bibcite{Abr88}{Abr88}
\bibcite{CHAM}{BeBo90}
\bibcite{Bur84}{Bur84}
\bibcite{AM}{ECGS92}
\bibcite{Dactl}{GKS91}
\bibcite{Parle92}{Gla92}
\bibcite{SemSym}{GLT91}
\bibcite{Facile}{GPM89}
\bibcite{DistribFacile}{KC91}
\bibcite{MachFacile}{Kna91}
\bibcite{KuoFacile}{Kuo92}
\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{11}}
\bibcite{Leth91}{Leth91}
\bibcite{FacileCHAM}{LT92}
\bibcite{CCS}{Mil80}
\bibcite{FunAsProcs}{Mil90}
\bibcite{PolyPi}{Mil91}
\bibcite{Pi}{MPW89}
\bibcite{MessageBrokers}{Wis92}