×

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

有界并发安全计算的黑盒构造。 (英语) Zbl 1506.94043号

Galdi,Clemente(编辑)等人,《网络安全与加密》。第十二届国际会议,SCN 2020,意大利阿马尔菲,2020年9月14-16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12238, 87-107 (2020).
MSC公司:94A60型 68第25页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于平行组合的公理化:光谱中的旅程。 (英语) 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格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段

软件