艾尔维拉·阿尔伯特;尼古拉斯·贝齐吉安尼斯;弗兰克·德波尔;马丁·马丁,恩里克 从具有协作调度的参与者到Haskell的正式的、保留资源消耗的翻译。 (英语) Zbl 1497.68090号 芬丹。通知。 177,编号3-4,203-234(2020).MSC公司:68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Fundam。通知。177,编号3--4,203-234(2020;Zbl 1497.68090) 全文: 内政部
穆罕默德·马赫迪·贾古奥里;法兰克·德波尔;Delphine Longuet;汤姆·乔西亚;马尔詹·西尔贾尼 实时actor-based系统的组合可调度性分析。 (英语) Zbl 1371.68045号 学报信息。 54,第4期,343-378(2017).MSC公司:68平方米 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Jaghoori}等人,《信息学报》54,第4期,343--378(2017年;Zbl 1371.68045) 全文: 内政部
Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3期,823-852(2012).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: 内政部
德波尔,弗兰克·S。;伊莫·格雷布;马丁·斯特芬 活动对象的终止检测。 (英语) Zbl 1243.68221号 J.日志。阿尔盖布。程序。 81,第4期,541-557(2012).MSC公司:68问题85 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,J.Log。阿尔盖布。程序。81,第4号,541--557(2012;Zbl 1243.68221) 全文: 内政部
Cees Pierik;De Boer,Frank S。 面向对象编程的证明大纲逻辑。 (英语) 兹比尔1077.68018 西奥。计算。科学。 343,第3期,413-442(2005).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Pierik}和\textit{F.S.De Boer},Theor。计算。科学。343,第3号,413--442(2005;Zbl 1077.68018) 全文: 内政部