EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Research Project: ESPRIT/SEDOS: Software Environment for Distributed Open Systems

Home Policy Brochure Browse Search User Area Contact Help

1989

Ajubi, I. and Scollo, G. and van Sinderen, M.J. (1989) Formal description of the OSI session layer: introduction. In: The formal description technique LOTOS: Results of the Esprit/Sedos project. North-Holland, Amsterdam, pp. 89-96. ISBN 0444872671

van Sinderen, M.J. (1989) Formal description of the OSI session layer: session service. In: The formal description technique LOTOS: Results of the Esprit/Sedos project. North-Holland, Amsterdam, pp. 117-151. ISBN 0444872671