杜米特鲁·波托普·布图卡鲁;贝诺·凯劳德 模块化同步规范的正确构造异步实现。 (英文) Zbl 1138.68469号 芬丹。通知。 78,第131-159号(2007年).MSC公司:第68季度85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Potop-Butucaru}和\textit{B.Caillaud},Fundam。通知。78,第1号,131--159(2007;Zbl 1138.68469)
杜米特鲁·波托普·布图卡鲁;贝诺·凯劳德;阿尔伯特·本文尼斯特 同步系统中的并发。 (英文) Zbl 1100.68004号 形式方法系统。设计。 28,第2期,111-130(2006).MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{D.Potop-Butucaru}等人,《形式方法系统》。设计。28,第2号,111--130(2006;Zbl 1100.68004) 全文: 内政部 链接