伊万·拉内斯;伊恩·菲利普斯;伊雷克·乌利多夫斯基 可逆计算的公理理论。 (英语) Zbl 07839133号 ACM事务处理。计算。日志。 25,第2条,第11条,40页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,ACM翻译。计算。日志。25,第2号,第11条,40页(2024;Zbl 07839133) 全文: 内政部 arXiv公司
劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;元朗,昭治 版次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 07803176号 J.日志。阿尔盖布。方法计划。 136,文章ID 100924,31 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert},J.Log。阿尔盖布。方法计划。136,文章ID 100924,31 p.(2024;Zbl 07803176) 全文: 内政部 哈尔