桑贾姆·加格;梁,肖;欧姆坎·潘迪;伊万·维斯康蒂 有界并发安全计算的黑盒构造。 (英语) Zbl 1506.94043号 Galdi,Clemente(编辑)等人,《网络安全与加密》。第十二届国际会议,SCN 2020,意大利阿马尔菲,2020年9月14-16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12238, 87-107 (2020).MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Garg}等人,Lect。注释计算。科学。12238,87-107(2020;Zbl 1506.94043) 全文: 内政部
加利福尼亚州米德尔堡。 概率过程代数和策略交错。 (英语) Zbl 1513.68036号 科学。Ann.计算。科学。 第2205-243号,第30页(2020年).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Middelburg},科学。Ann.计算。科学。30,第2号,205--243(2020;Zbl 1513.68036) 全文: 内政部 arXiv公司
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于平行组合的公理化:光谱中的旅程。 (英语) Zbl 07559474号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第18条,第22页(2020年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。171,第18条,22 p.(2020;Zbl 07559474) 全文: 内政部
卢卡·埃特罗;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir;巴斯·卢提克;马蒂亚斯·拉加德·佩德森 关于优先权的公理化。三: 优先权再次罢工。 (英语) Zbl 1452.68124号 西奥。计算。科学。 837, 223-246 (2020).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。837223--246(2020年;Zbl 1452.68124) 全文: 内政部
安蒂·瓦尔马里 所有一致性均低于稳定性保持公平测试或CFFD。 (英语) Zbl 1452.68128号 Acta信息。 57,编号3-5,353-383(2020). 审核人:艾哈迈特·库萨诺夫(Komsomolsk-om-Amur) MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},《信息学报》第57期,第3--5、353--383号(2020年;Zbl 1452.68128) 全文: 内政部