劳拉·博奇；伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；元朗，昭治 版次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公司
罗伯特·格莱克；伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；亚洛斯·阿·亚当·米兹扎克；伊恩·菲利普斯；伊雷克·乌利多夫斯基；德国维达尔 对可逆计算方法进行分类。 （英语） Zbl 07786593号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。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｝，日志。方法计算。科学。19，第2号，第6号论文，27页（2023；Zbl 07731917） 全文： 内政部 arXiv公司
劳拉·博奇；伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；元朗，昭治 可逆的时态过程语言。 （英语） Zbl 1499.68220号 Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13273, 31-49 (2022).MSC公司：68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人，Lect。票据计算。科学。13273，31-49（2022；Zbl 1499.68220） 全文： 内政部 哈尔
埃尔南·梅尔格拉蒂；克劳迪奥·安塔雷斯·梅齐纳；G.Michele Pinna 共价键的Petri网视图。 （英语） Zbl 07477145号 西奥。计算。科学。 908, 89-119 (2022).MSC公司：68问题85 2007年第68季度 92E10型 PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人，Theor。计算。科学。908，89--119（2022；Zbl 07477145） 全文： 内政部
埃尔南·梅尔格拉蒂；克劳迪奥·安塔雷斯·梅齐纳；G.Michele Pinna 实现可逆CCS的真正并发语义。 （英语） Zbl 07419486号 Yamashita，Shigeru（编辑）等人，可逆计算。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12805, 109-125 (2021).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人，Lect。票据计算。科学。12805、109-125（2021；Zbl 07419486） 全文： 内政部 哈尔
伊万·拉内斯；多里亚娜·梅迪奇；克劳迪奥·安塔雷斯·梅齐纳 CCS中的静态与动态可逆性。 （英语） Zbl 1475.68126号 学报信息。 58，编号1-2，1-34（2021）. 审核人：克莱门特·奥伯特（奥古斯塔） MSC公司：2009年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，《信息学报》58，第1--2、1-34期（2021年；Zbl 1475.68126） 全文： 内政部 链接
马可·贝尔纳多；克劳迪奥·安塔雷斯·梅齐纳 走向桥接时间和因果可逆性。 （英语） 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） 全文： 内政部
多里亚娜·梅迪奇；克劳迪奥·安塔雷斯·梅齐纳；伊恩·菲利普斯；吉田、Nobuko 可逆计算的参数框架。 （英语） Zbl 1496.68241号 Inf.计算。 275，文章ID 104644，58 p.（2020）.MSC公司：68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Medić}等人，《Inf.Compute》。275，文章ID 104644，58 p.（2020；Zbl 1496.68241） 全文： 内政部 arXiv公司 链接
埃尔南·梅尔格拉蒂；克劳迪奥·安塔雷斯·梅齐纳；伊雷克·乌利多夫斯基 反向放置过渡网。 （英语） Zbl 07269252号 日志。方法计算。科学。 16，第4号，第5号论文，28页（2020年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人，日志。方法计算。科学。16，第4号，第5号文件，第28页（2020；兹bl 07269252） 全文： arXiv公司 链接
多莉安娜·梅迪奇；克劳迪奥·安塔雷斯·梅齐纳；伊恩·菲利普斯；吉田、Nobuko 可逆计算的参数框架。 （英语） Zbl 1525.68085号 Pérez，Jorge A.（编辑）等，第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集，EXPRESS/SOS 2018，中国北京，2018年9月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27687-103（2018）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛D.Medic｝等人，电子。程序。西奥。计算。科学。（EPTCS）276，87-103（2018年；兹bl 1525.68085） 全文： 链接
克劳迪奥·安塔雷斯·梅齐纳；佩雷斯（Jorge A.Pérez）。 基于会话的并发中的可逆性：一个新的外观。 （英语） Zbl 1371.68194号 J.日志。阿尔盖布。方法计划。 90, 2-30 (2017).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Mezzina}和\textit{J.A.Pérez}，J.Log。阿尔盖布。方法程序。90,2--30（2017；Zbl 1371.68194） 全文： 内政部 链接
埃琳娜·贾奇诺；伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；弗朗西斯科·蒂埃齐 基于元组的语言中的因果一致回滚。 （英语） Zbl 1362.68213号 J.日志。阿尔盖布。方法计划。 88, 99-120 (2017).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Giachino}等人，J.Log。阿尔盖布。方法程序。88、99-120（2017年；Zbl 1362.68213） 全文： 内政部 链接
多里亚娜·梅迪奇；克劳迪奥·安塔雷斯·梅齐纳 CCS中的静态VS动态可逆性。 （英语） Zbl 1476.68180号 Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9720, 36-51 (2016).MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Medić}和\textit{C.A.Mezzina}，莱克特。票据计算。科学。9720，36-51（2016；Zbl 1476.68180） 全文： 内政部 链接
伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；Jean-Bernard斯特凡尼 高阶（pi）演算中的可逆性。 （英语） Zbl 1338.68078号 西奥。计算。科学。 625, 25-84 (2016).MSC公司：2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人，Theor。计算。科学。625、25-84（2016年；Zbl 1338.68078） 全文： 内政部 哈尔