罗伯特·格莱克;Lanese,伊万;克劳迪奥·安塔雷斯;米什扎克,Jarosław Adam;菲利普斯,伊恩;伊雷克·乌利多夫斯基;德国维达尔 朝向可逆计算方法的分类。 (英语) 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) 全文: 内政部
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) 全文: 内政部
德国维达尔 在带有选择性接收的消息传递并发编程中计算竞争变量。 (英语) 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格式引用 \textit{G.维达尔},莱克特。注释计算。科学。13273188-207(2022年;Zbl 1499.68070) 全文: 内政部 arXiv公司
Lanese,伊万;阿德里安·帕拉西奥斯;德国维达尔 消息传递并发程序的因果一致重播可逆语义。 (英语) 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 1528.68070号 汤姆森、迈克尔·柯克达尔(编辑)等,《可逆计算》。第11届国际会议,2019年6月24日至25日,瑞士洛桑,RC 2019,会议记录。查姆:施普林格。莱克特。注释计算。科学。11497, 67-83 (2019).MSC公司:68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},莱克特。注释计算。科学。11497、67-83(2019年;Zbl 1528.68070) 全文: 内政部
Lanese,伊万;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 埃尔朗的可逆性理论。 (英语) 兹比尔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公司 链接