\relax 
\citation{Facile}
\citation{DistribFacile}
\citation{CCS}
\citation{Pi}
\citation{PolyPi}
\citation{FunAsProcs}
\citation{Leth91}
\citation{PolyPi}
\citation{SemSym}
\citation{Parle92}
\citation{MessageBrokers}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Background}{1}}
\citation{Paragon}
\@writefile{toc}{\contentsline {section}{\numberline {2}OGRe: A Small Process Language}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}OGRe Semantics}{2}}
\newlabel{sect:semantics}{{3}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}OGRe Processes, Messages, and Rules}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces OGRe rules for an arithmetic expression}}{3}}
\newlabel{fig:sumsq}{{1}{3}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Evaluation of an arithmetic expression}}{3}}
\newlabel{fig:sumsqexec}{{2}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}OGRe Rewriting}{3}}
\citation{MDFM}
\@writefile{toc}{\contentsline {section}{\numberline {4}OGRe Applications}{4}}
\newlabel{sect:examples}{{4}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Modelling Dataflow}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Modelling Communication Channels}{4}}
\newlabel{sect:syncchannel}{{4.2}{4}}
\citation{Shapiro}
\citation{CHAM}
\citation{FacileCHAM}
\citation{KuoFacile}
\citation{DistribFacile}
\citation{MachFacile}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Evaluation of a dataflow example}}{5}}
\newlabel{fig:dfexec}{{3}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Duplication of dataflow tokens}}{5}}
\newlabel{fig:dup}{{4}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Modelling State and Logic Variables}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Modelling Facile}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Rules for Asynchronous Communication}}{6}}
\newlabel{fig:asynccomm}{{5}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Asynchronous Communication}}{6}}
\newlabel{fig:comexec}{{6}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Rules for Synchronous Communication}}{7}}
\newlabel{fig:synccomm}{{7}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces A model for logical variables in OGRe}}{7}}
\newlabel{fig:lv}{{8}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {5}OGRe Implementation}{7}}
\newlabel{sect:implementation}{{5}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}OGRe on Sequential Machines}{7}}
\citation{AM}
\bibcite{Paragon}{1}
\bibcite{CHAM}{2}
\bibcite{AM}{3}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Translation Rules for Facile Constructs}}{8}}
\newlabel{fig:tranfacile}{{9}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}OGRe on Shared or Distributed Memory Machines}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusions}{8}}
\bibcite{Parle92}{4}
\bibcite{SemSym}{5}
\bibcite{MDFM}{6}
\bibcite{Facile}{7}
\bibcite{DistribFacile}{8}
\bibcite{MachFacile}{9}
\bibcite{KuoFacile}{10}
\bibcite{Leth91}{11}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Translation Rules for Constant Functions}}{9}}
\newlabel{fig:tranconst}{{10}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces Example: Translation of $(Mul(3,4),())$}}{9}}
\newlabel{fig:tranexample}{{11}{9}}
\bibcite{FacileCHAM}{12}
\bibcite{CCS}{13}
\bibcite{FunAsProcs}{14}
\bibcite{PolyPi}{15}
\bibcite{Pi}{16}
\bibcite{Shapiro}{17}
\bibcite{MessageBrokers}{18}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces Elaboration of Example}}{10}}
\newlabel{fig:elaborate}{{12}{10}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces Optimisation of the Example Code}}{10}}
\newlabel{fig:optimised}{{13}{10}}