德波尔(Frank 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) 全文: 内政部
穆罕默德·马赫迪·贾古奥里;德波尔(Frank S。;汤姆·乔西亚;马尔詹·西尔贾尼 异步实时并发对象的可调度性。 (英语) Zbl 1188.68085号 J.日志。阿尔盖布。程序。 78,第5期,402-416(2009).MSC公司:68平方米 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Jaghoori}等人,J.Log。阿尔盖布。程序。78,第5号,402--416(2009;Zbl 1188.68085) 全文: 内政部