基于动作细化的握手扩展

• 作者: 孙秀莉 李绍荣 杨昕梅
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 并发系统 无死锁 握手扩展 真并发模型 等待事件结构
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 通信与信息工程
• 页码范围: 406-410
• 分类号: TN402
• 字数: 3087字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2011.03.016

摘要

基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型.该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为.构建的最大化并发模型,能有效地处理并发信息的综合和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李绍荣	电子科技大学光电信息学院	34	234	7.0	14.0
2	杨昕梅	电子科技大学光电信息学院	4	9	2.0	3.0
3	孙秀莉	美国波特兰州立大学电子与计算机工程学院	1	0	0.0	0.0