罗莎·阿巴斯;法特梅·加塞米;拉丁·科斯拉维 验证带有未指定组件的异步系统。 (英语) Zbl 1417.68096号 学报信息。 56,第2期,161-203(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Abbasi}等人,《信息学报》56,第2期,161--203(2019年;Zbl 1417.68096) 全文: DOI程序 arXiv公司
德塞尔,约格;哈维尔·埃斯帕尔扎;菲利普·霍夫曼 协商作为并发原语。 (英语) Zbl 1422.68168号 学报信息。 56,第2期,93-159(2019). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}等人,《学报》第56期,第2期,第93-159页(2019年;Zbl 1422.68168) 全文: DOI程序 arXiv公司