罗布·范·格拉贝克 比较\(\pi\)-演算和CCS的表达能力。 (英语) Zbl 07807739号 ACM事务处理。计算。日志。 25,第1号,第1条,58页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},ACM翻译。计算。日志。25,第1号,第1条,58页(2023;Zbl 07807739) 全文: 内政部
西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 异步多方会话的精确子类型。 (英语) Zbl 07672673号 ACM事务处理。计算。日志。 24,第2条,第14条,73页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,ACM Trans。计算。日志。24,第2号,第14条,73页(2023;Zbl 07672673) 全文: 内政部 arXiv公司 OA许可证
罗希特·查达;文森特·雪瓦尔;瑟·特凡·乔巴赫;史蒂夫·克莱默 密码协议等价属性的自动验证。 (英语) Zbl 1367.68184号 ACM事务处理。计算。日志。 17,第4号,第23条,第32页(2016).MSC公司:60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人,ACM Trans。计算。日志。17,第4号,第23条,32页(2016年;Zbl 1367.68184) 全文: 内政部
Tiu,Alwen先生;戴尔·米勒 ({\pi})演算的互模拟和模态逻辑的证明搜索规范。 (英语) Zbl 1351.68186号 ACM事务处理。计算。日志。 11,第2号,第13条,第35页(2010年).MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiu}和\textit{D.Miller},ACM Trans。计算。日志。11,第2号,第13条,第35页(2010年;Zbl 1351.68186) 全文: 内政部