Copyright © 1987 Published by Elsevier Science B.V.
Introduction to the ISO specification language LOTOS
Available online 13 June 2003.
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.
Author Keywords: Concurrent languages; Formal Description Techniques; Open Systems Interconnection; Protocol Specification; Specification Languages






E-mail Article
Add to my Quick Links

Cited By in Scopus (240)





