| 基于动作细化的握手扩展 |
| |
| 引用本文： | 杨昕梅,孙秀莉,李绍荣. 基于动作细化的握手扩展[J]. 电子科技大学学报(社会科学版), 2011, 0(3) |
| |
| 作者姓名： | 杨昕梅 孙秀莉 李绍荣 |
| |
| 作者单位： | 电子科技大学光电信息学院;美国波特兰州立大学电子与计算机工程学院; |
| |
| 基金项目： | 国家863计划(2007AA01Z143) |
| |
| 摘 要： | 基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型。该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为。构建的最大化并发模型,能有效地处理并发信息的综合和验证。
|
| 关 键 词： | 并发系统 无死锁 握手扩展 真并发模型 等待事件结构 |
Handshaking Expansion Based on Action Refinement |
| |
| YANG Xin-mei,SUN Xiu-li, LI Shao-rong. Handshaking Expansion Based on Action Refinement[J]. Journal of University of Electronic Science and Technology of China(Social Sciences Edition), 2011, 0(3) |
| |
| Authors: | YANG Xin-mei SUN Xiu-li LI Shao-rong |
| |
| Affiliation: | YANG Xin-mei1,SUN Xiu-li2,and LI Shao-rong1(1.School of Optoelectronic Information,University of Electronic Science and Technology of China Chengdu 610054,2.Department of ECE,Portland State University Portland USA) |
| |
| Abstract: | |
| |
| Keywords: | concurrent system deadlock-freeness handshaking expansion true concurrency model wait event structure |
| 本文献已被 CNKI 等数据库收录！ |
|
