×

找到6个文档(结果1-6)

朝向可逆计算方法的分类。 (英语) Zbl 07786593号

Kutrib,Martin(编辑)等人,《可逆计算》。2023年7月18日至19日,第15届国际会议,RC 2023,德国基森。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13960, 24-39 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

消息传递并发中基于前缀的跟踪。 (英语) 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格式引用
全文: 内政部

在带有选择性接收的消息传递并发编程中计算竞争变量。 (英语) Zbl 1499.68070号

Mousavi,Mohammad Reza(编辑)等人,分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议,FORTE 2022,作为第17届分布式计算技术国际联合会议的一部分,于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13273, 188-207 (2022).
PDF格式BibTeX公司 XML格式引用

描述语法双向化中兼容视图更新的特征。 (英语) Zbl 1528.68070号

汤姆森、迈克尔·柯克达尔(编辑)等,《可逆计算》。第11届国际会议,2019年6月24日至25日,瑞士洛桑,RC 2019,会议记录。查姆:施普林格。莱克特。注释计算。科学。11497, 67-83 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段