埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;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) 全文: 内政部 哈尔
萨姆森·艾布拉姆斯基 上下文中的事件。 (英语) Zbl 1360.68623号 西奥。计算。科学。 546,7-9(2014).MSC公司:68问题85 01A70号 68-03 68问题55 81页68 PDF格式BibTeX公司 XML格式引用 \文本{S.Abramsky},Theor。计算。科学。546、7--9(2014年;Zbl 1360.68623) 全文: 内政部