Abstract
| 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
Cite this
}
Introduction to the ISO specification language LOTOS. / Bolognesi, Tomasso; Brinksma, Hendrik.
In: Computer networks and ISDN systems, Vol. 14, No. 1, 1987, p. 25-59.Research output: Contribution to journal › Article › Academic
TY - JOUR
T1 - Introduction to the ISO specification language LOTOS
AU - Bolognesi, Tomasso
AU - Brinksma, Hendrik
PY - 1987
Y1 - 1987
N2 - 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.
AB - 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.
KW - Concurrent languages
KW - Formal Description Techniques
KW - IR-69857
KW - Specification Languages
KW - Open Systems Interconnection
KW - Protocol Specification
U2 - 10.1016/0169-7552(87)90085-7
DO - 10.1016/0169-7552(87)90085-7
M3 - Article
VL - 14
SP - 25
EP - 59
JO - Computer networks
JF - Computer networks
SN - 1389-1286
IS - 1
ER -