摘要
本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍,较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述,给出了其结构模型及一些重要的模块结构描述。
After a brief introduction to the formal description technique LOTOS and ISO/OSI session layer standard, this paper specifies the OSI session layer in detail and an architectural model and some important models are given.
出处
《计算机工程与设计》
CSCD
北大核心
1989年第5期30-39,共10页
Computer Engineering and Design
