×

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

实现可逆CCS的真正并发语义。 (英语) Zbl 07419486号

Yamashita,Shigeru(编辑)等人,可逆计算。第13届国际会议,RC 2021,虚拟活动,2021年7月7日至8日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12805, 109-125 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

可逆发生网和因果可逆素事件结构。 (英语) Zbl 07368046号

Lanese,Ivan(编辑)等人,《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12227,35-53(2020)。
PDF格式BibTeX公司 XML格式引用

并发的基本结构是什么?我们仍然不知道! (英语) Zbl 1315.68188号

Aceto,Luca(编辑)等人,《代数过程计算论文》研讨会论文集(APC 25),意大利贝蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162,37-41(2006)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段