Introduction to the ISO specification language LOTOS

Tomasso Bolognesi, Hendrik Brinksma

    Research output: Contribution to journalArticleAcademic

    698 Citations (Scopus)
    53 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