伊万·拉内斯;菲利普斯，伊恩;伊雷克·乌利多夫斯基 可逆计算的公理理论。 （英语） 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公司
彼得罗·拉米;Lanese，伊万;Jean-Bernard斯特凡尼;克劳迪奥·萨塞尔多蒂·科恩;乔瓦尼·法布雷蒂 并发Erlang程序的可逆调试：支持命令基元。 （英语） Zbl 07820971号 J.日志。阿尔盖布。方法计划。 138，文章ID 100944，37 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Lami}等人，J.Log。阿尔盖布。方法计划。138，文章ID 100944，37 p.（2024；Zbl 07820971） 全文： 内政部
劳拉·博奇;朱利安·兰格;西蒙·汤普森;Voinea，A.劳拉 演员和灰色失败的模型。 （英语） Zbl 07788985号 日志。方法计算。科学。 19，第4号，第13号论文，29页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人，日志。方法计算。科学。19，第4号，第13号文件，第29页（2023；Zbl 07788985） 全文： 内政部 arXiv公司 OA许可证
罗伯特·格莱克;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;亚洛斯·阿·亚当·米兹扎克;伊恩·菲利普斯;伊雷克·乌利多夫斯基;Germán维达尔 朝向可逆计算方法的分类。 （英语） Zbl 07786593号 Kutrib，Martin（编辑）等人，《可逆计算》。第15届国际会议，RC 2023，德国吉森，2023年7月18日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 24-39 (2023).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}等人，Lect。注释计算。科学。13960，24-39（2023；Zbl 07786593） 全文： 内政部
马可·贝尔纳多;克劳迪奥·梅齐纳。 桥接因果可逆性和时间可逆性：随机过程代数方法。 （英语） 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许可证
达尼尔·霍帕西;佩特尔·贝雷茨基;西蒙·汤普森 非类型化的、按调用值的函数语言与未附带函数的程序等价性。 （英语） 兹伯利07665441 J.日志。阿尔盖布。方法计划。 132，文章ID 100857，22 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Horpácsi}等人，J.Log。阿尔盖布。方法计划。132，文章ID 100857，22 p.（2023；Zbl 07665441） 全文： 内政部 arXiv公司 OA许可证
González Abril，胡安·何塞;德国维达尔 消息传递并发中基于前缀的跟踪。 （英语） Zbl 1521.68081号 De Angelis，Emanuele（编辑）等人，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 157-175 (2022).MSC公司：68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.González-Abril}和\textit{G.Vidal}，莱克特。注释计算。科学。13290，157--175（2022；Zbl 1521.68081） 全文： 内政部
彼得罗·拉米;伊万·拉内斯;Jean-Bernard斯特凡尼;克劳迪奥·萨塞尔多蒂·科恩;乔瓦尼·法布雷蒂 Erlang中的可逆性：祈使结构。 （英语） Zbl 07615950号 Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 187-203 (2022).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Lami}等人，Lect。注释计算。科学。13354、187--203（2022；Zbl 07615950） 全文： 内政部 哈尔
德国维达尔 在带有选择性接收的消息传递并发编程中计算竞争变量。 （英语） Zbl 1499.68070号 Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 188-207 (2022).MSC公司：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \文本｛G.Vidal｝，Lect。注释计算。科学。13273188-207（2022年；Zbl 1499.68070） 全文： 内政部 arXiv公司
阿提拉Bagossy;吉尔吉斯·瓦西尔 通讯反应系统中的受控可逆性。 （英语） Zbl 07554434号 理论。计算。科学。 926, 3-20 (2022).MSC公司：2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagossy}和\textit{G.Vaszil}，Theor。计算。科学。926，3--20（2022；Zbl 07554434） 全文： 内政部 OA许可证
伊万·拉内斯;伊恩·菲利普斯 CCSK中的正向观测等效性。 （英语） Zbl 1476.68097号 Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 126-143 (2021).MSC公司：2009年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}和\textit{I.Phillips}，莱克特。注释计算。科学。12805、126--143（2021；Zbl 1476.68097） 全文： 内政部 链接
乔瓦尼·法布雷蒂;伊万·拉内斯;Jean-Bernard斯特凡尼 分布式Erlang程序的因果一致调试。 （英语） Zbl 07419484号 Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 79-95 (2021).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{G.Fabbretti}等人，Lect。注释计算。科学。12805，79-95（2021年；兹bl 07419484） 全文： 内政部 哈尔
伊万·拉内斯;阿德里安·帕拉西奥斯;德国维达尔 消息传递并发程序的因果一致重播可逆语义。 （英语） Zbl 1482.68131号 芬达姆。通知。 178，编号3，229-266（2021）.MSC公司：68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，Fundam。通知。178，编号3，229--266（2021；Zbl 1482.68131） 全文： 内政部
马可·贝尔纳多;克劳迪奥·安塔雷斯·梅齐纳 走向桥接时间和因果可逆性。 （英语） Zbl 1511.68179号 Gotsman，Alexey（编辑）等人，分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议，FORTE 2020，作为第15届分布式计算技术国际联合会议的一部分，于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12136, 22-38 (2020).MSC公司：68问题85 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{C.A.Mezzina}，莱克特。注释计算。科学。12136，22-38（2020；Zbl 1511.68179） 全文： 内政部
伊万·拉内斯;多里亚娜·梅迪奇 导出不可控可逆语义的一般方法。 （英语） Zbl 07559489号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第33条，第24页（2020）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛I.Lanese｝和\textit｛D.Medić｝，LIPIcs——莱布尼茨国际期刊。通知。171，第33条，第24页（2020；Zbl 07559489） 全文： 内政部
伊万·拉内斯;伊恩·菲利普斯;伊雷克·乌利多夫斯基 可逆计算的公理方法。 （英语） Zbl 07250951号 Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 442-461 (2020).MSC公司：68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，Lect。注释计算。科学。12077、442--461（2020；Zbl 07250951） 全文： 内政部 OA许可证
伊万·拉内斯;阿德里安·帕拉西奥斯;德国维达尔 消息传递程序的因果一致重放调试。 （英语） Zbl 1533.68032号 Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。2019年6月17日至21日，第39届IFIP WG 6.1国际会议FORTE 2019，作为第14届分布式计算技术国际联合会议DisCoTec 2019的一部分，在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 167-184 (2019).MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，Lect。注释计算。科学。11535167-184（2019年；Zbl 1533.68032） 全文： 内政部 哈尔
米库尔斯基，Łukasz;伊万·拉内斯 反转无界Petri网。 （英语） Zbl 1532.68051号 Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522113-233（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Mikulski}和\textit{I.Lanese}，莱克特。注释计算。科学。11522、213--233（2019年；Zbl 1532.68051） 全文： 内政部 哈尔
拉斐尔·卡巴列罗;恩里克·马丁·马汀;阿德里安·里斯科;萨尔瓦多塔马利特 用于声明性调试的核心Erlang语义。 （英语） Zbl 1431.68016号 J.日志。阿尔盖布。方法计划。 107, 1-37 (2019).MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人，J.Log。阿尔盖布。方法计划。107，1--37（2019年；Zbl 1431.68016） 全文： 内政部
詹姆斯·霍伊;伊雷克·乌利多夫斯基 可逆命令式并行程序和调试。 （英语） Zbl 1527.68035号 Thomsen，Michael Kirkedal（编辑）等人，可逆计算。第11届国际会议，2019年6月24日至25日，瑞士洛桑，RC 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497, 108-127 (2019).MSC公司：68甲19 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoey}和\textit{I.Ulidowski}，莱克特。注释计算。科学。11497，108-127（2019；Zbl 1527.68035） 全文： 内政部 链接
拉斐尔·卡巴列罗;恩里克·马丁·马汀;阿德里安·里斯科;萨尔瓦多塔马利特 并发Erlang程序的声明性调试。 （英语） Zbl 1400.68052号 J.日志。阿尔盖布。方法计划。 101, 22-41 (2018).MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Caballero}等人，J.Log。阿尔盖布。方法计划。101、22-41（2018；Zbl 1400.68052） 全文： 内政部