Introduction to the ISO specification language LOTOS

Tomasso Bolognesi, Hendrik Brinksma

Research output: Contribution to journalArticleAcademic

690 Citations (Scopus)
30 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 languageUndefined
Pages (from-to)25-59
JournalComputer networks and ISDN systems
Volume14
Issue number1
DOIs
Publication statusPublished - 1987

Keywords

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

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",

}

Introduction to the ISO specification language LOTOS. / Bolognesi, Tomasso; Brinksma, Hendrik.

In: Computer networks and ISDN systems, Vol. 14, No. 1, 1987, p. 25-59.

Research output: Contribution to journalArticleAcademic

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 -