Introduction to the ISO specification language LOTOS
T Bolognesi, E Brinksma - Computer Networks and ISDN systems, 1987 - Elsevier
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.
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.
以上显示的是最相近的搜索结果。 查看全部搜索结果