乔纳森·鲍文（Jonathan P.Bowen）。；朱慧彪 何继峰（Jifeng He）在牛津大学及以后：一种欣赏。 （英语） Zbl 07810649号 Bowen，Jonathan P.（编辑）等人，《程序设计理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆：斯普林格。莱克特。注释计算。科学。14080, 3-18 (2023).MSC公司：68-03 01A70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}和\textit{H.Zhu}，Lect。注释计算。科学。14080，3-18（2023；Zbl 07810649） 全文： DOI程序
伯克·西里西；康斯坦丁·埃纳；阿扎德法尔赞；苏哈·奥伦·穆特鲁吉尔 有状态部分顺序缩减的实用方法。 （英语） Zbl 1529.68156号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 129-154 (2023).MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Cirisci}等人，Lect。注释计算。科学。13881、129--154（2023年；Zbl 1529.68156） 全文： DOI程序 arXiv公司
米奎尔·伯特兰；弗朗西斯科·巴博特；气候，八月 分布式系统模型的形式化通信消除和序列化等价证明。 （英语） Zbl 1360.68471号 学报信息。 51，第6期，347-418（2014）.MSC公司：第68季度10 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bertran}等人，《信息学报》51，第6期，第347--418页（2014年；Zbl 1360.68471） 全文： DOI程序
罗恩·范德梅登；张晨毅 具有调度程序的系统中的信息流。二： 精细化。 （英语） Zbl 1292.68037号 西奥。计算。科学。 484, 70-92 (2013).MSC公司：68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{C.Zhang}，Theor。计算。科学。484、70-92（2013年；Zbl 1292.68037） 全文： DOI程序
约翰·德里克；格雷姆·史密斯 Z求精下的时序逻辑属性保持。 （英语） Zbl 1259.68032号 正式Asp。计算。 24，第3号，393-416（2012）.MSC公司：68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith}，正式Asp。计算。24，第393-416号（2012年；兹bl 1259.68032） 全文： DOI程序
伦纳特·贝林格 关系分解。 （英语） Zbl 1342.68070号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，39-54（2011）。MSC公司：68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}，莱克特。注释计算。科学。6898，39-54（2011；Zbl 1342.68070） 全文： DOI程序
伊万娜·菲利波维奇；彼得·奥赫恩；诺姆·里内茨基；杨红seok 并发对象的抽象。 （英语） Zbl 1209.68156号 西奥。计算。科学。 411，编号51-52，4379-4398（2010）.MSC公司：68第05页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Filipović}等人，Theor。计算。科学。411，编号51-5214379-4398（2010年；Zbl 1209.68156） 全文： DOI程序
埃尔克·博伊滕；约翰·德里克 阻塞范式中关系模拟的不完整性。 （英语） Zbl 1209.68306号 科学。计算。程序。 75，第12期，1262-1269（2010）.MSC公司：68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick}，科学。计算。程序。75，第12号，1262--1269（2010；Zbl 1209.68306） 全文： DOI程序
T·M·拉贝哈加。；J.W.桑德斯。 考虑到概率的数据优化。 （英语） Zbl 1342.68096号 Boiten，Eerke（编辑）等人，第14届BCS-FACS精炼研讨会会议记录（REFINE 2009），荷兰埃因霍温，2009年11月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记259165-176（2009）。MSC公司：68号30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Rabehaja}和\textit{J.W.Sanders}，电子。注释Theor。计算。科学。259165--176（2009年；Zbl 1342.68096） 全文： DOI程序
约翰·德里克；埃尔克·博伊滕 关系并发求精：自动机。 （英语） Zbl 1342.68226号 Boiten，Eerke（编辑）等人，第14届BCS-FACS精炼研讨会会议记录（REFINE 2009），荷兰埃因霍温，2009年11月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记259，21-34（2009）。MSC公司：68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten}，电子。注释Theor。计算。科学。259、21-34（2009年；Zbl 1342.68226） 全文： DOI程序
约翰·德里克；埃尔克·博伊滕 更多关系并发优化：跟踪和部分关系。 （英语） Zbl 1283.68239号 Boiten，Eerke（编辑）等人，《第13届BCS-FACS精炼研讨会论文集》（REFINE 2008），芬兰图尔库，2008年5月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记214255-276（2008）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten}，电子。注释Theor。计算。科学。214255-276（2008年；Zbl 1283.68239） 全文： DOI程序
杨红seok 关系分离逻辑。 （英语） Zbl 1111.68078号 西奥。计算。科学。 375，编号1-3，308-334（2007）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \提奥，textit{H.杨}。计算。科学。375，编号1--3，308--334（2007；Zbl 1111.68078） 全文： DOI程序
Deutsch，Moshe公司；马丁·亨森。 在一个失败的范例中对精细化的分析。 （英语） Zbl 1105.68070号 正式Asp。计算。 18，第3期，329-363（2006）.MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}和\textit{M.C.Henson}，正式Asp。计算。18，第3号，329--363（2006；Zbl 1105.68070） 全文： DOI程序
沃尔夫拉姆·卡尔 规范的并行组成和分解。 （英语） Zbl 1004.68097号 信息科学。 139，第3-4号，197-220（2001）.MSC公司：60年第68季度 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl}，信息科学。139，编号3--4，197-220（2001；Zbl 1004.68097） 全文： DOI程序
莱默，K。；斯特罗珀，P。 精化和状态机抽象。 （英语） Zbl 0989.68088号 西奥。计算。科学。 266，第1-2号，195-235（2001）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lermer}和\textit{P.Strooper}，Theor。计算。科学。266，编号1--2，195-235（2001；Zbl 0989.68088） 全文： DOI程序
克里斯·布林克；卡塔琳娜·布里茨；雷娜特·施密特（Renate A.Schmidt）。 皮尔士代数。 （英语） 兹伯利0811.03047 正式Asp。计算。 6，第3期，339-358（1994）. 审核人：朱尼斯·切鲁利斯（里加） MSC公司：03G15年 60年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛C.Brink｝等人，正式Asp。计算。6，第3号，339--358（1994；Zbl 0811.03047） 全文： DOI程序
冯·赖特，J。 数据细化的晶格。 （英语） 兹比尔0790.68028 学报信息。 第2105-135号（1994年）第31页.MSC公司：68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.von Wright}，《学报信息》31，第2期，第105--135页（1994；Zbl 0790.68028） 全文： DOI程序
C.A.R.霍尔。；何继峰；A.桑帕约。 编译器设计的范式方法。 （英语） Zbl 0790.68023号 学报信息。 30，第8号，701-739（1993）. 审核人：C.A.R.Hoare（牛津） MSC公司：第68页第20页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.A.R.Hoare｝et al.，Acta Inf.30，No.8，701-739（1993；Zbl 0790.68023） 全文： DOI程序
冯·赖特，J。；J·赫卡纳霍。；罗斯塔琳，P。；朗巴卡，T。 机械化一些高级精炼概念。 （英语） Zbl 0785.68063号 形式方法系统。设计。 3，编号1-2，49-81（1993）.MSC公司：60年第68季度 68吨15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.von Wright}等人，《形式方法系统》。设计。3，编号1--2，49-81（1993；Zbl 0785.68063） 全文： DOI程序
P.H.B.加德纳。；卡罗尔·摩根 数据优化的单一完整规则。 （英语） Zbl 0774.68081号 正式Asp。计算。 第5期，第4期，第367-382页（1993年）.MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}和\textit{C.Morgan}，正式Asp。计算。5，第4号，367--382（1993；Zbl 0774.68081） 全文： DOI程序
保罗·加德纳；卡罗尔·摩根 谓词变换器的数据优化。 （英语） Zbl 0736.68060号 西奥。计算。科学。 87，第1期，第143-162页（1991年）. 审核人：R.Horsch（马克多夫） MSC公司：68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardiner}和\textit{C.Morgan}，Theor。计算。科学。87，第1号，143--162（1991；Zbl 0736.68060） 全文： DOI程序
Lengauer，C。；J.W.桑德斯。 收缩程序的投影。 （英语） Zbl 0703.68052号 形式方面计算。 2，第3号，273-293（1990）.MSC公司：68宽15 68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.Lengauer}和\textit{J.W.Sanders}，正式Asp。计算。2，编号3，273--293（1990；Zbl 0703.68052） 全文： DOI程序
J.N.奥利维拉。 面向模型的软件规范的具体化演算。 （英语） Zbl 0697.68029号 形式方面计算。 第2期，第1期，1-23期（1990年）.MSC公司：68N99型 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}，正式Asp。计算。2，编号1，1--23（1990；Zbl 0697.68029） 全文： DOI程序