形式描述技术LOTOS的实时扩展及应用

• 作者: 李益昌
• 来源期刊: 南方金属
• 学科: 工学
• 关键词: FDT进程代数 LOTOS ET-LOTOS
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 经验交流
• 页码范围: 41-45
• 页数: 5页
• 分类号: TP301.2
• 字数: 3824字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-9700.2004.06.013

摘要

LOTOS(Language of Temporal Ordering Specification)是一种基于进程代数CCS的协议描述语言.这里提出LOTOS的实时扩展ET-LOTOS,是Timed LOTOS的增强版.它增加了时间控制的操作器,对LOTOS的操作语义进行了实时的扩充,支持定量时间的观点,提高了形式方法的表达力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李益昌		1	0	0.0	0.0