×

找到8个文档（结果1-8）

最新 引文 关联
罗伯特·格莱克;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;亚洛斯·阿·亚当·米兹扎克;伊恩·菲利普斯;伊雷克·乌利多夫斯基;德国维达尔

朝向可逆计算方法的分类。 （英语） 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）
全文： 内政部
劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁，Shoji

可逆时间过程语言。 （英语） 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

实现可逆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）
全文： 内政部 arXiv公司 哈尔
马可·贝尔纳多;克劳迪奥·安塔雷斯·梅齐纳

走向桥接时间和因果可逆性。 （英语） 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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

全部的 前3名

软件