CSpace

Browse/Search Results:  1-10 of 11 Help

Selected(0)Clear Items/Page:    Sort:
A precongruence format for should testing preorder 期刊论文
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 卷号: 79, 期号: 3-5, 页码: 245-263
Authors:  Huang, Xiaowei;  Jiao, Li;  Lu, Weiming
Favorite  |  View/Download:2/0  |  Submit date:2018/07/30
Should testing preorder  Rule format  Testing theory  Structural operational semantics  
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence 期刊论文
COMPUTER JOURNAL, 2010, 卷号: 53, 期号: 1, 页码: 21-36
Authors:  Huang, Xiaowei;  Jiao, Li;  Lu, Weiming
Favorite  |  View/Download:2/0  |  Submit date:2018/07/30
weak equivalences  congruence formats  structural operational semantics  
基于共享位置的Petri网系统综合与保性 期刊论文
计算机学报, 2007, 卷号: 030, 期号: 003, 页码: 352
Authors:  焦莉;  陆维明
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
Petri网共享PP-型子网合成性质分析 期刊论文
软件学报, 2007, 卷号: 018, 期号: 001, 页码: 22
Authors:  夏传良;  焦莉;  陆维明
Favorite  |  View/Download:6/0  |  Submit date:2020/01/10
Petri网精细化操作及其在系统设计中的应用 期刊论文
软件学报, 2006, 卷号: 017, 期号: 001, 页码: 11
Authors:  夏传良;  焦莉;  陆维明
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
关于ESAC网活性和有界性的一个多项式算法 期刊论文
软件学报, 2002, 卷号: 013, 期号: 007, 页码: 1257
Authors:  焦莉;  陆维明
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
一类Petri网系统的活性 期刊论文
计算机学报, 2002, 卷号: 025, 期号: 008, 页码: 883
Authors:  林贵献;  陆维明;  焦莉
Favorite  |  View/Download:7/0  |  Submit date:2020/01/10
非对称选择网活性的一个多项式时间判定英文 期刊论文
软件学报, 2001, 卷号: 12, 期号: 3, 页码: 340
Authors:  陆维明;  焦莉
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
加权非对称选择网活性和有界性分析 期刊论文
软件学报, 2001, 卷号: 012, 期号: 012, 页码: 1843
Authors:  陆维明;  焦莉
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
扩展强化非对称选择网的活性和有界性 期刊论文
软件学报, 2001, 卷号: 012, 期号: 009, 页码: 1312
Authors:  陆维明;  焦莉
Favorite  |  View/Download:6/0  |  Submit date:2020/01/10