\begin{thebibliography}{10}

\bibitem{pstv9-proc}
E.~Brinksma, G.~Scollo, and C.~A. Vissers, editors.
\newblock {\em Protocol Specification, Testing, and Verification IX}, Enschede
  (NL), June 1989. North-Holland.

\bibitem{dubuis:algorithm}
E.~Dubuis.
\newblock {An Algorithm for Translating LOTOS Behaviour Experssions into
  Automata and Ports}.
\newblock In Vuong \cite{forte89-proc}, pages 163--177.

\bibitem{gao}
Q.~Gao and G.~v.~Bochmann.
\newblock {Distributed Implementation of LOTOS Multi-Rendezvous}.
\newblock In Brinksma et~al. \cite{pstv9-proc}.

\bibitem{iso8807}
ISO.
\newblock {\em {Information Processing Systems -- Open Systems Interconnection
  -- LOTOS - A Formal Description Technique Based on the Temporal Ordering of
  Observational Behaviour}}.
\newblock IS-8807. International Standards Organization, 1989.

\bibitem{logrippo:swpe}
L.~Logrippo, A.~Obaid, J.~P. Briand, and H.~C. Fehri.
\newblock {An Interpreter for LOTOS, A Specification Language for Distributed
  Systems}.
\newblock {\em Software Practice and Experience}, 18(4):365--385, April 1988.

\bibitem{topo:l2c}
J.~A. Ma{\~n}as and T.~de~Miguel.
\newblock {From LOTOS to C}.
\newblock In K.~J. Turner, editor, {\em FORTE'88, Formal Description Techniques
  I}, pages 79--84, Stirling, Scotland, UK, September 1988. North-Holland.

\bibitem{lbm}
J.~A. Ma{\~n}as and J.~Salvach{\'u}a.
\newblock {The $\Lambda\beta$-machine in TOPO}.
\newblock Technical report, Dpt. Telematics Engineering, Techinal Univ. Madrid,
  Spain, June 1990.

\bibitem{topo:rendezvous}
J.~A. Ma{\~n}as, J.~Salvach{\'u}a, and T.~de~Miguel.
\newblock {The TOPO Implementation of the LOTOS Multiway Rendezvous}.
\newblock Technical report, Dpt. Telematics Engineering, Techinal Univ. Madrid,
  Spain, 15 January 1991.

\bibitem{nomura}
S.~Nomura, T.~Hasegawa, and T.~Takizuka.
\newblock {A LOTOS Compiler and process Synchronization Manager}.
\newblock In L.~Logrippo, R.~L. Probert, and H.~Ural, editors, {\em Protocol
  Specification, Testing, and Verification X}, pages 165--184, Ottawa, Ontario
  (CA), June 1990. North-Holland.

\bibitem{sjodin}
P.~Sj{\"o}din.
\newblock {A Distributed Algorithm for Synchronous Process Communication at
  Ports}.
\newblock In Brinksma et~al. \cite{pstv9-proc}.

\bibitem{bochmann:distributed-lotos}
G.~v.~Bochmann, Q.~Gao, and C.~Wu.
\newblock {On the Distributed Implementation of LOTOS}.
\newblock In Vuong \cite{forte89-proc}, pages 133--146.

\bibitem{sedos:simulator}
P.~van Eijk.
\newblock {The Design of a Simulator Tool}.
\newblock In P.~van Eijk, C.~A. Vissers, and M.~Diaz, editors, {\em {The Formal
  Description Technique LOTOS}}, pages 351--390. North-Holland, 1989.

\bibitem{forte89-proc}
S.~T. Vuong, editor.
\newblock {\em FORTE'89, Formal Description Techniques II}, Vancouver (CA),
  December 1989. IFIP, Elsevier Science B.V. (North-Holland).

\end{thebibliography}
