一种并发系统的规约方法

• 作者: 刘剑 李彤
• 来源期刊: 计算机应用研究
• 关键词: 并发系统 形式化规约 面向对象模式 Unity逻辑 软件开发方法
• 年，卷（期）: 2000,（5）
• 所属期刊栏目: 研究探讨
• 页码范围: 15-17
• 页数: 3页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2000.05.006

摘要

提出了并发系统的一种规约方法.这一方法可用于对并发系统进行建模和对模型的验证.将形式化工具融入到一种二维的规约方法中,这样就能使形式化工具更易于应用到并发软件的开发过程中.此外,还提出了一种并发系统的形式化抽象模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学计算机科学系	151	861	14.0	22.0
2	刘剑	云南大学计算机科学系	5	12	3.0	3.0