Two probabilistic models of lazy Kleene algebra
Two probabilistic models of lazy Kleene algebra
复制标题
惰性 Kleene 代数的两个概率模型
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
津曲紀宏
中科院分区：
文献类型：
--
作者：
H.Furusawa;F.Sanda;N.Tsumagari;津曲紀宏;津曲紀宏
登录
查看更多内容
测试流程的等效性
DOI：
10.1007/bfb0036936
发表时间：
1983
期刊：
Inf. Comput.
影响因子：
--
作者：
R. Nicola;M. Hennessy
通讯作者：
M. Hennessy
影响因子：
0.6
作者：
M. Rabin
通讯作者：
M. Rabin
使用 Kleene 代数和测试进行编译器优化认证
DOI：
--
发表时间：
2000
期刊：
Computational Logic
影响因子：
--
作者：
D. Kozen;Maria
通讯作者：
Maria
使用概率克林代数进行协议验证
DOI：
10.1007/11828563_20
发表时间：
2006
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Annabelle McIver;E. Cohen;Carroll Morgan
通讯作者：
Carroll Morgan
霍尔逻辑和克林代数的检验
DOI：
10.1109/lics.1999.782610
发表时间：
1999
期刊：
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)
影响因子：
--
作者：
D. Kozen
通讯作者：
D. Kozen