\relax 
\citation{Facile}
\citation{DistribFacile}
\citation{CCS}
\citation{Pi}
\citation{PolyPi}
\citation{FunAsProcs}
\citation{Leth91}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Background}{1}}
\citation{PolyPi}
\citation{SemSym}
\citation{Parle92}
\citation{MessageBrokers}
\citation{Paragon}
\@writefile{toc}{\contentsline {section}{\numberline {2}OGRe: A Small Process Language}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}OGRe Processes}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}OGRe Messages}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}OGRe Rules}{3}}
\citation{MDFM}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces OGRe dataflow rules for an arithmetic expression}}{4}}
\newlabel{fig:df1}{{1}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}OGRe Rewriting}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Evaluation of a dataflow example}}{6}}
\newlabel{fig:dfexec}{{2}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Further OGRe Constraints}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {3}OGRe Applications}{7}}
\newlabel{sect:examples}{{3}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Modelling Dataflow}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Modelling Communication Channels}{7}}
\newlabel{sect:syncchannel}{{3.2}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Duplication of dataflow tokens}}{8}}
\newlabel{fig:dup}{{3}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Rules for Asynchronous Communication}}{8}}
\newlabel{fig:asynccomm}{{4}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Asynchronous Communication}}{9}}
\newlabel{fig:comexec}{{5}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Rules for Synchronous Communication}}{9}}
\newlabel{fig:synccomm}{{6}{9}}
\citation{Shapiro}
\citation{CHAM}
\citation{FacileCHAM}
\citation{SemSym}
\citation{Parle92}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Modelling State and Logic Variables}{10}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces A model for von Neumann cells in OGRe}}{10}}
\newlabel{fig:vN}{{7}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Modelling Facile}{10}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces A model for logical variables in OGRe}}{11}}
\newlabel{fig:lv}{{8}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {4}OGRe Implementation}{11}}
\newlabel{sect:implementation}{{4}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Memory Organisation}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Rule Matching}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Parallel OGRe Machine}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Remote Pointers}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Message to Remote Pointer}}{13}}
\newlabel{fig:rp}{{9}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}Sending Messages to Remote Processes}{14}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Message Transferred to Remote Processor}}{14}}
\newlabel{fig:mt}{{10}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6}Process Spawning}{14}}
\citation{ZAPP}
\citation{ZAPP}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7}ZAPP Scheduling}{15}}
\citation{AM}
\@writefile{toc}{\contentsline {section}{\numberline {5}Conclusions}{16}}
\bibcite{Paragon}{1}
\bibcite{CHAM}{2}
\bibcite{AM}{3}
\bibcite{Parle92}{4}
\bibcite{SemSym}{5}
\bibcite{MDFM}{6}
\bibcite{Facile}{7}
\bibcite{DistribFacile}{8}
\bibcite{MachFacile}{9}
\bibcite{KuoFacile}{10}
\bibcite{Leth91}{11}
\bibcite{FacileCHAM}{12}
\bibcite{ZAPP}{13}
\bibcite{CCS}{14}
\bibcite{FunAsProcs}{15}
\bibcite{PolyPi}{16}
\bibcite{Pi}{17}
\bibcite{Shapiro}{18}
\bibcite{MessageBrokers}{19}