劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁，Shoji 版次TPL：可逆时间过程语言。 （英语） Zbl 07814919号 日志。方法计算。科学。 20，第1号，第11号论文，35页（2024年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人，日志。方法计算。科学。20，第1号，第11号论文，35页（2024；Zbl 07814919） 全文： 内政部 arXiv公司 OA许可证
克莱门·奥伯特 可逆并发计算中的复制。 （英语） Zbl 07786592号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13960, 15-23 (2023).理学硕士：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}，莱克特。注释计算。科学。13960，15--23（2023；Zbl 07786592） 全文： 内政部 哈尔
阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉 方程的发散性和唯一解。 （英语） Zbl 1442.68134号 日志。方法计算。科学。 15，第3号，第12号论文，第34页（2019年）.理学硕士：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Durier}等人，Log。方法计算。科学。15，第3号，第12号论文，34页（2019年；Zbl 1442.68134） 全文： arXiv公司