Jan Friso,格鲁特;Tim A.C.Willemse。 用于建立服务级别协议的对称协议。 (英语) Zbl 07269247号 日志。方法计算。科学。 16,第3号,第19号论文,第19页(2020年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},Log。方法计算。科学。16,第3号,第19号论文,第19页(2020;Zbl 07269247) 全文: arXiv公司 链接
Joost-Pieter卡托恩;范德波尔(Jaco van de Pol);玛丽·斯托琳加;马克·蒂姆 概率自动机数据的线性过程代数格式。 (英语) Zbl 1283.68246号 西奥。计算。科学。 413,第1期,36-57(2012). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:68问题85 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,Theor。计算。科学。413,编号1,36-57(2012;Zbl 1283.68246) 全文: 内政部
法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 移动自组网的验证:代数方法。 (英语) Zbl 1216.68160号 西奥。计算。科学。 412,编号28,3262-3282(2011).MSC公司:60年第68季度 2007年7月68日 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ghassemi}等人,Theor。计算。科学。412,第28号,3262-3282(2011;Zbl 1216.68160) 全文: 内政部
劳尔·蒙罗伊;阿兰·邦迪;格林,伊恩 过程等效=CCS中的方程求解。 (英语) Zbl 1191.68443号 J.汽车。推理 43,第1期,53-80(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Monroy}等人,J.Autom。推理43,No.1,53--80(2009;Zbl 1191.68443) 全文: 内政部 链接
弗扎蒂、拉切尔;马西莫·梅罗;乌韦·内斯特曼 分布式共识,再次讨论。 (英语) Zbl 1151.68036号 Acta信息。 44,第6377-425号(2007年).MSC公司:68问题85 68米15 PDF格式BibTeX公司 XML格式引用 \textit{R.Fuzzati}等人,Acta Inf.44,No.6,377--425(2007;Zbl 1151.68036) 全文: 内政部
Wan Fokkink公司;庞、军;范德波尔(Jaco van de Pol) 锥和焦点:协议验证的机械框架。 (英语) Zbl 1103.68652号 形式方法系统。设计。 29,第1期,1-31页(2006年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《形式方法系统》。设计。29,编号1,1-31(2006年;Zbl 1103.68652) 全文: 内政部
J.F.格罗特。;A.Ponse。;Usenko,Y.S。 并行pCRL中的线性化。 (英语) Zbl 0988.68121号 J.日志。代数。程序。 48,编号1-2,39-70(2001).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,J.Log。代数。程序。48,编号1--2,39-70(2001;Zbl 0988.68121) 全文: 内政部