EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


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) A verification exercise relating to specification styles in LOTOS. Memorandum INF-89-18, Computer Science, University of Twente, Enschede.
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