西迪·穆罕默德·贝拉希;艾哈迈德·博阿贾尼;康斯坦丁·埃纳 针对事务因果一致性的稳健性。 (英语) Zbl 1509.68157号 日志。方法计算。科学。 17,第1号,第12号论文,42页(2021年).MSC公司:60年第68季度 64岁以下 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Beillahi}等人,日志。方法计算。科学。17,第1号,第12号论文,42页(2021;Zbl 1509.68157) 全文: arXiv公司 链接
艾哈迈德·博阿贾尼;康斯坦丁·埃纳;Shuvendu K.拉希里。 进化并发程序的抽象语义差异。 (英语) Zbl 1425.68063号 形式方法系统。设计。 54,第1期,4-26(2019).MSC公司:68号30 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。54,编号1,4--26(2019;Zbl 1425.68063) 全文: 内政部 哈尔