lotos

information technology; open systems interconnection; lotos description of the session protocol

信息技术.开放系统互连.对话协议书的LOTOS的描述法

互联网摘选

compiler support to implement lotos formal specification

执行LOTOS形式说明的编译器支持

互联网摘选

and the lotos rose, quietly, quietly

莲花升起来，静静的，静静的，

互联网摘选

Realization of LOTOS formal specification is one of indispensable steps in protocol design.

LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一.

互联网摘选

lotos is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).

LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。

互联网摘选

investigation of application of lotos specification styles in service and protocol design

LOTOS规范风格在服务和协议设计中的应用研究

互联网摘选

language of temporal ordering specification?

时间排序规范语言LOTOS？。

互联网摘选

people often say, day lily is "lotos" for it can "soothe the nerves. "

人们常说，黄花菜是“忘忧草”，能安神解郁。

互联网摘选

LOTOS Specification and Implementation for Distributed System

分布式系统的LOTOS规范及其实现

互联网摘选

information technology - open systems interconnection - lotos description of the ccr service

信息技术.开放系统互连.CCR服务的LOTOS的描述

互联网摘选

lotos, the world's most expensive glasses supplier brand, which was founded in 1872. the products include watches, eyewear and jewelry.

全球最贵的眼镜供应商，品牌创始于一八七二年，产品包括手表、眼镜和珠宝等。

互联网摘选

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.

本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍，较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述，给出了其结构模型及一些重要的模块结构描述。

互联网摘选

information technology - open systems interconnection - lotos description of the ccr protocol

信息技术.开放系统互连.CCR协议的LOTOS描述

互联网摘选

information technology; open systems interconnection; lotos description of the session service

信息技术.开放系统互连.对话设施的LOTOS描述法

互联网摘选