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

Bolognesi, Tomasso

Brinksma, Ed

Repository TU/e

Pure OAI Repository

University of Twente Research Information

English

A Calculus of Communicating Systems,

A Complete Inference System for a Class of Regular Behaviours&quot;,

A Structural Approach to Operational Semantics&quot;, Lecture Notes,

A verification oriented specification in Lotos of the Transport Protocol&quot;,

Calculi for Synchrony and Asynchrony,

CIRCAL and the Representation of Communication, Concurrency and Time&quot;,

Concurrency and Automata on Infinite Sequences&quot;,

Context Dependent Bisimulations Between Processes&quot;,

Data Link Service

Draft formal specification of the OSI connection-oriented session service in LOTOS (version 5)&quot;, SEDOS/C1/WP/35/T,

Formal Description

Information Processing Systems - Open Systems Interconnection - &quot;Connection Oriented Transport Protocol Specification&quot;,

Information Processing Systems - Open Systems Interconnection - &quot;ESTELLE - A Formal Description Technique Based on Extended State Transition Model&quot;,

Information Processing Systems - Open Systems Interconnection - &quot;LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour&quot;,

ISO/TC 97/SC 21 N1534, &quot;Guidefines for the Application of FDT to OSI Protocols and Services&quot;,

ISO/TC 97/SC 21 N1540, &quot;Potential Enhancements to LOTOS&quot;,

LOTOS Tools Development&quot;,

Model for Open Systems Interconnection&quot;,

On the Specification in LOTOS of OSI Protocols&quot;,

OSI connection-oriented network service: a constraint-oriented specification in extended

OSI Transport Service: A Constraint-Oriented Specification in LOTOS',

Software Tools for the Specification Language LOTOS&quot;,

The OSI Transport Service and its Formal Description in LOTOS&quot;,

Introduction to the ISO specification language LOTOS