Introduction to the ISO specification language LOTOS


Bolognesi, Tomasso and Brinksma, Ed (1987) Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14 (1). pp. 25-59. ISSN 0169-7552

open access
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.
Item Type:Article
Copyright:© 1987 Elsevier Science
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page