莫里斯·拉维奥;Tim A.C.Willemse。 在具有多个动作的进程代数中分解单片进程。 (英语) Zbl 07665442号 J.日志。阿尔盖布。方法计划。 132,文章ID 100858,24 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Laveaux}和\textit{T.A.C.Willemse},J.Log。阿尔盖布。方法计划。132,文章ID 100858,24 p.(2023;Zbl 07665442) 全文: 内政部 arXiv公司 OA许可证
Jan Friso,格鲁特;Tim A.C.Willemse。 用于建立服务级别协议的对称协议。 (英语) Zbl 07269247号 日志。方法计算。科学。 16,第3号,第19号论文,第19页(2020年).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},Log。方法计算。科学。16,第3号,第19号文件,第19页(2020;兹bl 07269247) 全文: arXiv公司 链接
斯乔德·克兰恩;马西耶·加兹达;威瑟林克;Tim A.C.Willemse。 定点逻辑中的抽象。 (英语) Zbl 1367.68187号 ACM事务处理。计算。日志。 第16号第4条第29条第39页(2015年).MSC公司:60年第68季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人,ACM Trans。计算。日志。16,第4号,第29条,39页(2015;Zbl 1367.68187) 全文: 内政部
普洛格,B。;韦塞林克,J.W。;威廉姆斯,T.A.C。 通过实例化参数化布尔方程系统验证反应系统。 (英语) Zbl 1215.68133号 Inf.计算。 209,第4期,637-663(2011).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Ploeger}等人,《信息计算》。209,第4号,637--663(2011;Zbl 1215.68133) 全文: 内政部
西蒙娜·奥尔赞;Tim A.C.Willemse。 参数化布尔方程系统的不变量。 (英语) Zbl 1191.68415号 西奥。计算。科学。 411,编号11-13,1338-1371(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}和\textit{T.A.C.Willemse},Theor。计算。科学。411,编号11--13,1338--1371(2010;Zbl 1191.68415) 全文: 内政部 链接
Jan Friso,格鲁特;Tim A.C.Willemse。 参数化布尔方程系统。 (英语) Zbl 1077.68061号 西奥。计算。科学。 343,第3期,332-369(2005).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},Theor。计算。科学。343,第3号,332--369(2005;Zbl 1077.68061) 全文: 内政部 链接