彼得罗·拉米;伊万·拉内斯;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) 全文: 内政部
佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托 同步通信系统的组成。 (英语) Zbl 07741956号 J.日志。阿尔盖布。方法计划。 135,文章ID 100890,33 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。135,文章ID 100890,33 p.(2023;Zbl 07741956) 全文: 内政部
佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;伊万·拉内斯;埃米利奥·托斯托 多党会议的组成和分解。 (英语) Zbl 1462.68120号 J.日志。阿尔盖布。方法计划。 119,文章ID 100620,35 p.(2021). 审核人:T.C.Mohan(钦奈) MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。119,文章ID 100620,35 p.(2021;Zbl 1462.68120) 全文: 内政部 哈尔
伊万·拉内斯;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 埃尔朗的可逆性理论。 (英语) Zbl 1400.68046号 J.日志。阿尔盖布。方法计划。 100, 71-97 (2018).MSC公司:68甲15 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,J.Log。阿尔盖布。方法计划。100,71-97(2018;Zbl 1400.68046) 全文: 内政部 arXiv公司 链接
埃琳娜·贾奇诺;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;弗朗西斯科·蒂埃齐 基于元组的语言中的因果一致回滚。 (英语) Zbl 1362.68213号 J.日志。阿尔盖布。方法计划。 88,99-120(2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Giachino}等人,J.Log。阿尔盖布。方法计划。88,99-120(2017年;兹比尔1362.68213) 全文: 内政部 链接
伊万·拉内斯(编辑);卢赫·拉富恩特,阿尔贝托(编辑);索菲亚·奈特(编辑);雨果·托雷斯·维埃拉(编辑) 2015年交互与并发体验专刊前言。 (英语) Zbl 1354.00101号 J.日志。阿尔盖布。方法计划。 86,第1、1号(2017).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等,J.Log。阿尔盖布。方法计划。86,第1、1号(2017;Zbl 1354.00101) 全文: 内政部
伊万·拉内斯(编辑);卢赫·拉富恩特,阿尔贝托(编辑);安娜·索科洛娃(编辑);雨果·托雷斯·维埃拉(编辑) 2014年交互与并发体验专刊前言。 (英语) Zbl 1335.00159号 J.日志。阿尔盖布。方法计划。 85、3号、367(2016).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等,J.Log。阿尔盖布。方法计划。85、3号、367(2016;Zbl 1335.00159) 全文: 内政部