\relax 
\citation{Facile}
\citation{DistribFacile}
\citation{CCS}
\citation{Pi}
\citation{PolyPi}
\citation{FunAsProcs}
\citation{Leth91}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction and Background}{1}}
\citation{PolyPi}
\citation{SemSym}
\citation{Parle92}
\citation{MessageBrokers}
\citation{Paragon}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}OGRe: A Small Process Language}{2}}
\citation{MDFM}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}OGRe Examples}{3}}
\newlabel{sect:examples}{{3}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Modelling Dataflow}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}Modelling Communication Channels}{5}}
\newlabel{sect:syncchannel}{{3.2}{5}}
\citation{Shapiro}
\citation{CHAM}
\citation{FacileCHAM}
\citation{KuoFacile,DistribFacile,MachFacile}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}Modelling State and Logic Variables}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.4}Modelling Facile}{6}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}OGRe Semantics}{9}}
\newlabel{sect:semantics}{{4}{9}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}OGRe Processes, Messages, and Rules}{9}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}OGRe Rewriting}{9}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}OGRe Implementation}{10}}
\newlabel{sect:implementation}{{5}{10}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.1}OGRe on Sequential Machines}{10}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.2}OGRe on Shared or Distributed Memory Machines}{10}}
\citation{AM}
\bibcite{Paragon}{ABK92}
\bibcite{CHAM}{BeBo90}
\bibcite{AM}{ECGS92}
\bibcite{Parle92}{Gla92}
\bibcite{SemSym}{GLT91}
\bibcite{MDFM}{GKW85}
\bibcite{Facile}{GPM89}
\bibcite{DistribFacile}{KC91}
\bibcite{MachFacile}{Kna91}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Conclusions}{11}}
\bibcite{KuoFacile}{Kuo92}
\bibcite{Leth91}{Leth91}
\bibcite{FacileCHAM}{LT92}
\bibcite{CCS}{Mil80}
\bibcite{FunAsProcs}{Mil90}
\bibcite{PolyPi}{Mil91}
\bibcite{Pi}{MPW89}
\bibcite{Shapiro}{Sha89}
\bibcite{MessageBrokers}{Wis92}