
\begin{thebibliography}{9}

\bibitem{csp} C.A.R.~Hoare, {\em Communicating Sequential Processes},
Prentice/Hall International (1985).

\bibitem{vcrref1} M.~Debbage, M.B.~Hill and D.A.~Nicole, {\em Towards
a Distributed Implementation of Occam}, Proceedings of the 13th Occam
Users Group, IOS Press (1990).

%\bibitem{vcrref2} M.~Debbage, M.B.~Hill and D.A.~Nicole, {\em Virtual
%Channel Router Version 2.0 User Guide}, University of Southampton,
%Department of Electronics and Computer Science (1991).

\bibitem{vcrref3} M.~Debbage, M.B.~Hill and D.A.~Nicole, {\em VCR 2.0
RPC Support and Run-Time Library}, University of Southampton,
Concurrent Computation Group (1991).

\bibitem{transputer} Inmos Ltd., {\em Transputer Reference Manual},
Prentice-Hall (1988).

\bibitem{t9000} Inmos Ltd., {\em The T9000 Transputer Products
Overview Manual} (1991).

\bibitem{ocref} Inmos Ltd., {\em occam Programming Manual}, Prentice-Hall 
International (1984).

\bibitem{acl} D.B.~Carpenter, {\em Array Communication Library: 
Introductory Guide}, University of Southampton,
Concurrent Computation Group (1991).

%\bibitem{tiny} L.J.~Clarke, "Tiny Version 1.0 Discussion and User Guide",
%Technical Report, University of Edinburgh (1989).

\bibitem{fulloc} D.~May, {\em Implementing Full Occam} Esprit Project
2701 (PUMA) Working Paper 2, Inmos Ltd (1989).

\bibitem{hermes} R.E.~Strom et al {\em Hermes: A Language for Distributed
Computing} Prentice Hall, Inc (1991).

\bibitem{welch} P.H.~Welch, {\em Securely Managed Pointers},
WoTUG Newsletter 15 (1991) pp35.

\bibitem{ccs} R.~Milner, {\em Communication and Concurrency},
Prentice Hall International (1989) pp249.

\end{thebibliography}

