劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 版次TPL:可逆时间过程语言。 (英语) Zbl 07814919号 日志。方法计算。科学。 20,第1号,第11号论文,35页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,日志。方法计算。科学。20,第1号,第11号论文,35页(2024;Zbl 07814919) 全文: 内政部 arXiv公司 OA许可证
约瑟夫·保卢斯(Joseph W.N.Paulus)。;丹尼尔·南特斯·索布里尼奥;佩雷斯(Jorge A.Pérez)。 非确定性作为非确定性过程发挥作用。 (英语) Zbl 07753361号 日志。方法计算。科学。 19,第4号,第1号论文,120页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.W.N.Paulus}等人,Log。方法计算。科学。19,第4号,第1号论文,120页(2023;Zbl 07753361) 全文: 内政部 arXiv公司 OA许可证
马可·贝尔纳多;克劳迪奥·梅齐纳。 桥接因果可逆性和时间可逆性:随机过程代数方法。 (英语) Zbl 07731917号 日志。方法计算。科学。 19,第2号,第6号论文,27页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{C.A.Mezzina},Log。方法计算。科学。19,第2号,第6号论文,27页(2023;Zbl 07731917) 全文: 内政部 arXiv公司 OA许可证
克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 可逆多方协议的因果一致性。 (英语) Zbl 07471661号 日志。方法计算。科学。 17,第4号,第1号论文,41页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Antares Mezzina}和\textit{J.A.Pérez},日志。方法计算。科学。17,第4号,第1号文件,第41页(2021;Zbl 07471661) 全文: arXiv公司 链接
巴斯鲁提克;杨菲 (pi)演算在行为上是完整的,并且是轨道单元可执行的。 (英语) Zbl 1509.68187号 日志。方法计算。科学。 17,第1号,第14号论文,第26页(2021年).MSC公司:68问题85 04年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Luttik}和\textit{F.Yang},Log。方法计算。科学。17,第1号,第14号论文,第26页(2021年;Zbl 1509.68187) 全文: arXiv公司 链接
奥曼·波霍拉,约翰内斯 Psi结石重访:连通性和复合性。 (英语) Zbl 1509.68180号 日志。方法计算。科学。 16,第4号,第16号论文,28页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.奥曼·波霍拉},Log。方法计算。科学。16,第4号,第16号论文,28页(2020年;Zbl 1509.68180) 全文: arXiv公司 链接
阿德里安·杜里埃;丹尼尔·赫希科夫;大卫·桑吉奥吉 方程的发散性和唯一解。 (英语) Zbl 1442.68134号 日志。方法计算。科学。 15,第3号,第12号论文,第34页(2019年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人,Log。方法计算。科学。15,第3号,第12号论文,34页(2019年;Zbl 1442.68134) 全文: arXiv公司
安德烈亚·塞隆;马修·轩尼诗;马西莫·梅罗 无线系统中MAC层通信的建模。 (英语) Zbl 1395.94007号 日志。方法计算。科学。 11,第1号,第18号论文,59页(2015).MSC公司:94A05型 03B80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cerone}等人,日志。方法计算。科学。11,第1号,第18号论文,59页(2015;Zbl 1395.94007) 全文: 内政部 arXiv公司
托马斯·吉文·威尔森;丹尼尔·戈拉;杰伊,巴里 并发模式演算。 (英语) Zbl 1338.68202号 日志。方法计算。科学。 10,第3号,第10号论文,46页(2014).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Given-Wilson}等人,《日志》。方法计算。科学。10,第3号,第10号论文,46页(2014;Zbl 1338.68202) 全文: 内政部 arXiv公司
马里奥·布拉维蒂;辛齐亚·迪·朱斯托;Jorge A.Perez。;吉安路易吉·扎瓦塔罗 适应性流程。 (英语) Zbl 1253.68237号 日志。方法计算。科学。 8,第4号,第13号论文,71页(2012).MSC公司:68问题85 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}等人,日志。方法计算。科学。8,第4号,第13号论文,71页(2012;Zbl 1253.68237) 全文: 内政部 arXiv公司
阿德里安·弗兰卡兰扎;朱利安·拉特克;弗拉迪米罗·萨松 消息传递并发的基于权限的分离逻辑。 (英语) Zbl 1237.68061号 日志。方法计算。科学。 7,第3号,第7号论文,47页(2011年).MSC公司:68号30 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}等人,日志。方法计算。科学。7,第3号,第7号文件,第47页(2011年;Zbl 1237.68061) 全文: 内政部
菲利波·邦奇;乌戈·蒙塔纳里 通过规范化余代数实现符号和异步语义。 (英语) Zbl 1213.68400号 日志。方法计算。科学。 7,第2号,第7号论文,53页(2011年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari},Log。方法计算。科学。7,第2号,第7号论文,53页(2011;Zbl 1213.68400) 全文: 内政部
杰斯珀·本特森;马格纳斯·约翰逊;约阿希姆·帕罗;比约恩·维克多 Psi-calculi:具有标称数据和逻辑的移动进程框架。 (英语) Zbl 1213.68399号 日志。方法计算。科学。 7,第1号,第11号论文,44页(2011年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Bengtson}等人,《日志》。方法计算。科学。7,第1号,第11号论文,44页(2011;Zbl 1213.68399) 全文: 内政部