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.
Original language | Undefined |
---|---|
Pages (from-to) | 25-59 |
Journal | Computer networks and ISDN systems |
Volume | 14 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1987 |
Keywords
- Concurrent languages
- Formal Description Techniques
- IR-69857
- Specification Languages
- Open Systems Interconnection
- Protocol Specification