中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共12条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
A precongruence format for should testing preorder 期刊论文
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 卷号: 79, 期号: 3-5, 页码: 245-263
作者:  Huang, Xiaowei;  Jiao, Li;  Lu, Weiming
收藏  |  浏览/下载：81/0  |  提交时间：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
作者:  Huang, Xiaowei;  Jiao, Li;  Lu, Weiming
收藏  |  浏览/下载：90/0  |  提交时间：2018/07/30
weak equivalences  congruence formats  structural operational semantics  
基于共享位置的Petri网系统综合与保性 期刊论文
计算机学报, 2007, 卷号: 030, 期号: 003, 页码: 352
作者:  焦莉;  陆维明
收藏  |  浏览/下载：33/0  |  提交时间：2020/01/10
Petri网共享PP-型子网合成性质分析 期刊论文
软件学报, 2007, 卷号: 018, 期号: 001, 页码: 22
作者:  夏传良;  焦莉;  陆维明
收藏  |  浏览/下载：116/0  |  提交时间：2020/01/10
Petri网精细化操作及其在系统设计中的应用 期刊论文
软件学报, 2006, 卷号: 017, 期号: 001, 页码: 11
作者:  夏传良;  焦莉;  陆维明
收藏  |  浏览/下载：39/0  |  提交时间：2020/01/10
一类Petri网系统的活性 期刊论文
计算机学报, 2002, 卷号: 025, 期号: 008, 页码: 883
作者:  林贵献;  陆维明;  焦莉
收藏  |  浏览/下载：90/0  |  提交时间：2020/01/10
关于ESAC网活性和有界性的一个多项式算法 期刊论文
软件学报, 2002, 卷号: 013, 期号: 007, 页码: 1257
作者:  焦莉;  陆维明
收藏  |  浏览/下载：71/0  |  提交时间：2020/01/10
notesonlivenessandboundednessofextendedstrongasymmetricchoicenets 期刊论文
journalofcomputerscienceandtechnology, 2001, 卷号: 016, 期号: 005, 页码: 426
作者:  Lu WM(陆维明);  Jiao L(焦莉)
收藏  |  浏览/下载：82/0  |  提交时间：2020/01/10
非对称选择网活性的一个多项式时间判定英文 期刊论文
软件学报, 2001, 卷号: 12, 期号: 3, 页码: 340
作者:  陆维明;  焦莉
收藏  |  浏览/下载：16/0  |  提交时间：2020/01/10
加权非对称选择网活性和有界性分析 期刊论文
软件学报, 2001, 卷号: 012, 期号: 012, 页码: 1843
作者:  陆维明;  焦莉
收藏  |  浏览/下载：15/0  |  提交时间：2020/01/10