关于LOTOS并发操作符行为特性的探讨

• 作者: 郭峰 韩瑞昕
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: LOTOS 并发操作符 同步
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: 学术论坛
• 页码范围: 200-201
• 页数: 2页
• 分类号: TP3
• 字数: 2599字
• 语种: 中文

摘要

LOTOS是ISO制定的描述并发通信系统的标准化形式语言。并发组合操作符行为特征复杂，虽然给出了语义，但在编写及分析LOTOS规格说明文件时，仍然容易混淆。本人对并发操作符的可结合，可交换，多路同步，隐藏等机制进行分析和探讨。有助于LOTOS的学习者理解并发行为的本质，提高编写和分析LOTOS规格说明文档的能力。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭峰	北方工业大学信息工程学院	20	41	4.0	5.0
2	韩瑞昕	北方工业大学信息工程学院	3	0	0.0	0.0