Introduction to the ISO specification language LOTOS

Share/Save/Bookmark

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

[img]
Preview
PDF
2537Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/69857
Official URL:http://dx.doi.org/10.1016/0169-7552(87)90085-7
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page