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