国家自然科学基金(69873045)

作品数：3被引量：2H指数：1
导出分析报告
相关作者：陈火旺李舟军王兵山更多>>
相关机构：国防科学技术大学更多>>
相关期刊：《计算机学报》《Science China(Technological Sciences)》更多>>
相关主题：符号迁移图互模拟Π-演算传值进程变种更多>>
相关领域：电子电信理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
STGA的变种及其互模拟验证
《计算机学报》2000年第4期345-355,共11页李舟军 陈火旺 钟广军 王兵山 
国家"八六三"高技术研究发展计划项目!(863-306-ZT05-06-1);国家自然科学基金!(69873045)
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法．为将该方法推广至实际应用中更常用的弱互模拟等...
关键词：传值进程 符号迁移图 互模拟 算法 STGA 
π-演算的符号迁移图及其早互模拟验证算法被引量：1
《中国科学（E辑）》1999年第4期361-371,共11页李舟军 陈火旺 王兵山 
国家"八六三"高技术计划;国家自然科学基金资助项目!(批准号:6 98730 45 )
提出符号迁移图作为π 演算进程直观而高效的表示模型 ,并给出了符号迁移图多种版本 (强 /弱 ,基 /符号 )的早操作语义 ,在此基础上定义了相应版本的早互模拟和观察同余 .同时引入了符号观察图和符号同余图以及τ 循环和τ 边消去定理 ...
关键词：Π-演算 符号迁移图 互模拟 验证算法 
Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus被引量：1
《Science China(Technological Sciences)》1999年第4期342-353,共12页李舟军 陈火旺 王兵山 
Project partially supported by the 863 Hi-Tech Project (Grant No. 863-306-ZT05-06-1);the National Natural Science Foundation of China (Grant No. 69873045).
Symbolic transition graph is proposed as an intuitive and compact semantic model for the π-calculus processes.Various versions (strong/weak, ground/symbolic) of early operational semantics are given to such graphs. B...
关键词：Π-CALCULUS SYMBOLIC TRANSITION GRAPH BISIMULATION observation CONGRUENCE predicate equation system. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部