基于动作细化的握手扩展

摘要：

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

关键词：并发系统、无死锁、握手扩展、真并发模型、等待事件结构

所属期刊栏目：40

分类号：TN402(微电子学、集成电路（IC）)

资助基金：国家863计划2007AA01Z143

在线出版日期：2011-08-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：406-410