Back to University of Twente portal
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
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| 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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page