埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;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 07368046号 Lanese,Ivan(编辑)等人,《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12227,35-53(2020)。MSC公司:2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人,Lect。票据计算。科学。12227,35-53(2020;Zbl 07368046) 全文: 内政部 arXiv公司
约翰·C·贝兹。;布伦丹·方 用于研究反应网络平衡的量子技术。 (英语) Zbl 1397.92783号 J.复杂网络。 3,第1期,22-34页(2015年).MSC公司:92E20型 68问题85 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Baez}和\textit{B.Fong},J.Complex Netw。3、第1号、第22-34号(2015;Zbl 1397.92783) 全文: 内政部 arXiv公司
萨姆森·艾布拉姆斯基 并发的基本结构是什么?我们仍然不知道! (英语) Zbl 1315.68188号 Aceto,Luca(编辑)等人,《代数过程计算论文》研讨会论文集(APC 25),意大利贝蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162,37-41(2006)。MSC公司:68问题85 81页第45页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky},电子。注释Theor。计算。科学。162、37-41(2006年;Zbl 1315.68188) 全文: 内政部 arXiv公司