J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 具有策略交错的进程代数。 (英语) Zbl 1427.68181号 理论计算。系统。 63,第3期,488-505(2019). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},理论计算。系统。63,第3号,488--505(2019年;Zbl 1427.68181) 全文: 内政部 arXiv公司
朱利安·克莱门特;詹姆斯·艾伦(James Allen);Thu Hien Nguyen Thi先生;布丽姬·瓦莱 对快速选择算法进行实际分析。 (英语) Zbl 1341.68035号 理论计算。系统。 58,编号4,528-578(2016).MSC公司:68页第10页 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{J.Clément}等人,理论计算。系统。58,第4号,528--578(2016;Zbl 1341.68035) 全文: 内政部 哈尔
罗兰·巴克豪斯;Doornbos,亨克 数据类型通用终端证明。 (英语) Zbl 1166.68027号 理论计算。系统。 43,编号3-4,362-393(2008).MSC公司:68问题65 03G15年 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{H.Doornbos},理论计算。系统。43,编号3--4,362--393(2008;Zbl 1166.68027) 全文: 内政部 链接
艾丽卡·阿尔布拉汉姆;安德烈亚斯·格吕纳;马丁·斯特芬 带有监视器的面向对象语言的抽象接口行为。 (英语) Zbl 1162.68475号 理论计算。系统。 43,编号3-4,322-361(2008).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,《理论计算》。系统。43,编号3--4,322--361(2008;Zbl 1162.68475) 全文: 内政部 链接