Introduction to the ISO specification language LOTOS

Tomasso Bolognesi; Hendrik Brinksma

doi:10.1016/0169-7552(87)90085-7

Introduction to the ISO specification language LOTOS

Tomasso Bolognesi, Hendrik Brinksma

Research output: Contribution to journal › Article › Academic

722 Citations (Scopus)

160 Downloads (Pure)

Abstract

LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988.

Original language	Undefined
Pages (from-to)	25-59
Journal	Computer networks and ISDN systems
Volume	14
Issue number	1
DOIs	https://doi.org/10.1016/0169-7552(87)90085-7
Publication status	Published - 1987

Keywords

Concurrent languages
Formal Description Techniques
IR-69857
Specification Languages
Open Systems Interconnection
Protocol Specification

Access to Document

10.1016/0169-7552(87)90085-7

Bolognesi87introduction

Cite this

@article{d448617fafd047408321b7ceb4cc2d6b,

title = "Introduction to the ISO specification language LOTOS",

abstract = "LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988.",

keywords = "Concurrent languages, Formal Description Techniques, IR-69857, Specification Languages, Open Systems Interconnection, Protocol Specification",

author = "Tomasso Bolognesi and Hendrik Brinksma",

year = "1987",

doi = "10.1016/0169-7552(87)90085-7",

language = "Undefined",

volume = "14",

pages = "25--59",

journal = "Computer networks",

issn = "1389-1286",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Introduction to the ISO specification language LOTOS

AU - Bolognesi, Tomasso

AU - Brinksma, Hendrik

PY - 1987

Y1 - 1987

N2 - LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988.

AB - LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS is expected to become an ISO international standard by 1988.

KW - Concurrent languages

KW - Formal Description Techniques

KW - IR-69857

KW - Specification Languages

KW - Open Systems Interconnection

KW - Protocol Specification

U2 - 10.1016/0169-7552(87)90085-7

DO - 10.1016/0169-7552(87)90085-7

M3 - Article

VL - 14

SP - 25

EP - 59

JO - Computer networks

JF - Computer networks

SN - 1389-1286

IS - 1

ER -