劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;元朗,昭治 版次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许可证
马可·贝尔纳多;克劳迪奥·梅齐纳。 桥接因果可逆性和时间可逆性:随机过程代数方法。 (英语) 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许可证
G.Michele Pinna 事件结构中依赖关系的新操作表示。 (英语) Zbl 07471676号 日志。方法计算。科学。 17,第4号,第16号论文,30页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna},日志。方法计算。科学。17,第4号,第16号论文,30页(2021;Zbl 07471676) 全文: arXiv公司 链接
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊雷克·乌利多夫斯基 反向放置过渡网。 (英语) Zbl 1534.68128号 日志。方法计算。科学。 16,第4号,第5号论文,28页(2020年).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人,日志。方法计算。科学。16,第4号,第5号论文,28页(2020年;Zbl 1534.68128) 全文: arXiv公司 链接
G.Michele Pinna 表示事件结构中的依赖项。 (英语) 兹比尔1528.68257 日志。方法计算。科学。 16,第2号,第3号论文,25页(2020年).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Pinna},日志。方法计算。科学。16,第2号,第3号论文,25页(2020年;Zbl 1528.68257) 全文: arXiv公司 链接
尤塞夫·阿尔巴赫;大卫·S·卡彻。;柯斯汀·彼得斯;乌韦·内斯特曼 事件结构中的动态因果关系。 (英语) Zbl 1459.68134号 日志。方法计算。科学。 14,第1号,第17号论文,38页(2018).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Arbach}等人,日志。方法计算。科学。14,第1号,第17号论文,38页(2018;Zbl 1459.68134) 全文: 内政部 arXiv公司