菲利普·布鲁克。;理查德·佩奇(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) 全文: DOI程序 哈尔
理查德·F·佩奇。(编辑);菲利普·布鲁克。(编辑);董金松(编辑);吉姆·C·P·伍德科克。(编辑) 特刊:类埃菲尔语言的并发性和实时性。2006年7月,英国约克,研讨会论文。 (英语) Zbl 1201.68008号 正式Asp。计算。21,第4期,303-391(2009)。 MSC公司:68-06 68甲15 68甲19 00B25型 PDF格式BibTeX公司 XML格式 全文: 链接
菲利普·布鲁克。;理查德·佩奇(Richard F.Paige)。;杰里米·雅各布。 埃菲尔SCOOP的CSP模型。 (英语) Zbl 1131.68034号 正式Asp。计算。 19,第4期,487-512(2007).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Brooke}等人,《正式评论》。计算。19,第4号,487--512(2007;Zbl 1131.68034) 全文: DOI程序
理查德·佩奇(Richard F.Paige)。;乔纳森·奥斯特罗夫。 ERC–埃菲尔的面向对象精化演算。 (英语) Zbl 1084.68022号 正式Asp。计算。 16,第1期,第51-79页(2004年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Paige}和\textit{J.S.Ostroff},正式Asp。计算。16,第1号,51--79(2004;Zbl 1084.68022) 全文: DOI程序
理查德·佩奇(Richard F.Paige)。 纯形式方法集成的异构符号。 (英语) 兹比尔0934.68060 正式Asp。计算。 10,第3期,233-242(1998年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Paige},正式Asp。计算。10,第3号,233--242(1998;Zbl 0934.68060) 全文: DOI程序