Formal description of the OSI session layer: introduction

I. Ajubi; Giuseppe Scollo; Marten J. van Sinderen

Formal description of the OSI session layer: introduction

I. Ajubi, Giuseppe Scollo, Marten J. van Sinderen

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the session layer architecture in the formal description. A brief account is given of the correctness test that the description has passed.

Original language	Undefined
Title of host publication	The formal description technique LOTOS: Results of the Esprit/Sedos project
Editors	P.H.J. van Eijk, C.A. Vissers, M. Diaz
Place of Publication	Amsterdam
Publisher	North Holland
Pages	89-96
Number of pages	8
ISBN (Print)	0444872671
Publication status	Published - 1989

Keywords

SCS-Services
EWI-6828

Cite this

@inbook{fdc99611a8b84604814ab65b01eb4d85,

title = "Formal description of the OSI session layer: introduction",

abstract = "The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the session layer architecture in the formal description. A brief account is given of the correctness test that the description has passed.",

keywords = "SCS-Services, EWI-6828",

author = "I. Ajubi and Giuseppe Scollo and {van Sinderen}, {Marten J.}",

year = "1989",

language = "Undefined",

isbn = "0444872671",

pages = "89--96",

editor = "{van Eijk}, P.H.J. and C.A. Vissers and M. Diaz",

booktitle = "The formal description technique LOTOS: Results of the Esprit/Sedos project",

publisher = "North Holland",

address = "Netherlands",

}

Formal description of the OSI session layer: introduction. / Ajubi, I.; Scollo, Giuseppe; van Sinderen, Marten J.
The formal description technique LOTOS: Results of the Esprit/Sedos project. ed. / P.H.J. van Eijk; C.A. Vissers; M. Diaz. Amsterdam: North Holland, 1989. p. 89-96.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Formal description of the OSI session layer: introduction

AU - Ajubi, I.

AU - Scollo, Giuseppe

AU - van Sinderen, Marten J.

PY - 1989

Y1 - 1989

N2 - The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the session layer architecture in the formal description. A brief account is given of the correctness test that the description has passed.

AB - The LOTOS formal description of the OSI session layer is introduced with the purpose of familiarizing the reader with the design choices that influenced the development of the formal description. Such design choices concern the adoptation of specification styles and the reflection of elements of the session layer architecture in the formal description. A brief account is given of the correctness test that the description has passed.

KW - SCS-Services

KW - EWI-6828

M3 - Chapter

SN - 0444872671

SP - 89

EP - 96

BT - The formal description technique LOTOS: Results of the Esprit/Sedos project

A2 - van Eijk, P.H.J.

A2 - Vissers, C.A.

A2 - Diaz, M.

PB - North Holland

CY - Amsterdam

ER -