菲利普·布鲁克。;理查德·佩奇(Richard F.Paige)。 Cameo:埃菲尔的另一种并发模型。 (英语) Zbl 1184.68150号 正式Asp。计算。 21,第4期,363-391(2009).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Brooke}和\textit{R.F.Paige},正式Asp。计算。21,第4号,363--391(2009;Zbl 1184.68150) 全文: 内政部 哈尔
彼得·尼纳尔托夫斯基 SCOOP的灵活访问控制策略。 (英语) Zbl 1184.68169号 正式Asp。计算。 21,第4期,347-362(2009).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Nienaltowski},正式Asp。计算。21,第4号,347--362(2009;Zbl 1184.68169) 全文: 内政部 哈尔
乔纳森·奥斯特罗夫。;法拉兹·艾哈迈迪(Faraz Ahmadi Torshizi);黄海峰;伯恩德·舍勒 超越并发契约。 (英语) Zbl 1184.68171号 正式Asp。计算。 21,第4期,319-346(2009).MSC公司:第68页第19页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Ostroff}等人,《形式语法》。计算。21,第4号,319--346(2009;Zbl 1184.68171) 全文: 内政部
彼得·尼纳尔托夫斯基;贝特朗·梅耶;乔纳森·奥斯特罗夫。 并发契约。 (英语) 兹比尔1184.68170 正式Asp。计算。 21,第4号,305-318(2009).MSC公司:第68页第19页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Nienaltowski}等人,正式Asp。计算。21,第4号,305-318(2009;Zbl 1184.68170) 全文: 内政部 哈尔
理查德·佩奇(Richard F.Paige)。(编辑);菲利普·布鲁克。(编辑);董金松(编辑);吉姆·C·P·伍德科克。(编辑) 特刊:类埃菲尔语言的并发性和实时性。2006年7月,英国约克,研讨会论文。 (英语) Zbl 1201.68008号 正式Asp。计算。21,第4期,303-391(2009)。 MSC公司:68-06 68甲15 第68页第19页 00B25型 PDF格式BibTeX公司 XML格式 全文: 链接