拉米，彼得罗；伊万·拉内斯；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） 全文： DOI程序
劳拉·博奇；朱利安·兰格；西蒙·汤普森；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） 全文： DOI程序 arXiv公司
罗伯特·格莱克；伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；亚洛斯·阿·亚当·米兹扎克；伊恩·菲利普斯；伊雷克·乌利多夫斯基；德国维达尔 朝向可逆计算方法的分类。 （英语） Zbl 07786593号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 24-39 (2023).MSC公司：2009年第68季度 第68季度10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}等人，Lect。注释计算。科学。13960，24-39（2023；Zbl 07786593） 全文： DOI程序
马可·贝尔纳多；克劳迪奥·梅齐纳。 桥接因果可逆性和时间可逆性：随机过程代数方法。 （英语） 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） 全文： DOI程序 arXiv公司
达尼尔·霍帕西；佩特尔·贝雷茨基；西蒙·汤普森 非类型化的、按调用值的函数语言与未附带函数的程序等价性。 （英语） Zbl 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） 全文： DOI程序 arXiv公司
González-Abril，Juan José；德国维达尔 消息传递并发中基于前缀的跟踪。 （英语） 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） 全文： DOI程序
彼得罗·拉米；伊万·拉内斯；Jean-Bernard斯特凡尼；克劳迪奥·萨切多蒂·科恩；乔瓦尼·法布雷蒂 Erlang中的可逆性：祈使结构。 （英语） Zbl 07615950号 Mezzina、Claudio Antares（编辑）等，《可逆计算》。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 187-203 (2022).MSC公司：2009年第68季度 第68季度10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Lami}等人，Lect。注释计算。科学。13354、187--203（2022；Zbl 07615950） 全文： DOI程序 哈尔
德国维达尔 在带有选择性接收的消息传递并发编程中计算竞争变量。 （英语） Zbl 1499.68070号 Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273188-207（2022）。MSC公司：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.维达尔}，莱克特。注释计算。科学。13273188-207（2022年；Zbl 1499.68070） 全文： DOI程序 arXiv公司
阿提拉·巴戈西；吉尔吉斯·瓦西尔 通讯反应系统中的受控可逆性。 （英语） 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） 全文： DOI程序
伊万·拉内斯；伊恩·菲利普斯 CCSK中的正向观测等效性。 （英语） 兹比尔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） 全文： DOI程序 链接
乔瓦尼·法布雷蒂；伊万·拉内斯；Jean-Bernard斯特凡尼 分布式Erlang程序的因果一致调试。 （英语） Zbl 07419484号 Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 79-95 (2021).MSC公司：2009年第68季度 第68季度10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{G.Fabbretti}等人，Lect。注释计算。科学。12805，79-95（2021；Zbl 07419484） 全文： DOI程序 哈尔
伊万·拉内斯；阿德里安·帕拉西奥斯；德国维达尔 消息传递并发程序的因果一致重播可逆语义。 （英语） 兹比尔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） 全文： DOI程序
马可·贝尔纳多；克劳迪奥·安塔雷斯·梅齐纳 走向桥接时间和因果可逆性。 （英语） 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年；兹比尔1511.68179） 全文： DOI程序
伊万·拉内斯；多里亚娜·梅迪奇 导出不可控可逆语义的一般方法。 （英语） 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） 全文： DOI程序
伊万·拉内斯；伊恩·菲利普斯；伊雷克·乌利多夫斯基 可逆计算的公理方法。 （英语） Zbl 07250951号 Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议，FOSSACS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 442-461 (2020).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，Lect。注释计算。科学。12077442-461（2020年；兹bl 07250951） 全文： DOI程序
伊万·拉内斯；阿德里安·帕拉西奥斯；德国维达尔 消息传递程序的因果一致重放调试。 （英语） Zbl 07800284号 Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 167-184 (2019).MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，Lect。注释计算。科学。11535167--184（2019年；Zbl 07800284） 全文： DOI程序 哈尔
乌卡斯·米库尔斯基；伊万·拉内斯 反转无界Petri网。 （英语） Zbl 07796223号 Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 213-233 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Mikulski}和\textit{I.Lanese}，莱克特。注释计算。科学。11522、213--233（2019；Zbl 07796223） 全文： DOI程序 哈尔
拉斐尔·卡巴列罗；恩里克·马丁·马汀；阿德里安·里斯科；萨尔瓦多塔马利特 用于声明性调试的核心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） 全文： DOI程序
詹姆斯·霍伊；伊雷克·乌利多夫斯基 可逆命令式并行程序和调试。 （英语） Zbl 1527.68035号 汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，RC 2019，瑞士洛桑，2019年6月24日至25日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497108-127（2019）中所述。MSC公司：68甲19 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoey}和\textit{I.Ulidowski}，莱克特。注释计算。科学。11497，108-127（2019；Zbl 1527.68035） 全文： DOI程序 链接
拉斐尔·卡巴列罗；恩里克·马丁·马汀；阿德里安·里斯科；萨尔瓦多塔马利特 并发Erlang程序的声明性调试。 （英语） 兹比尔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） 全文： DOI程序