约翰·德里克;埃尔克·博伊滕 关系并发优化。三: 痕迹、部分关系和自动机。 (英语) Zbl 1342.68227号 正式Asp。计算。 26,第2期,407-432(2014).MSC公司:68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten},正式Asp。计算。26,第2号,407--432(2014;Zbl 1342.68227) 全文: 内政部
霍华德·鲍曼;约翰·德里克 正式方法中的问题。重印2001年精装版。 (英语) Zbl 1257.68103号 Bowman,Howard(编辑)等人,分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社(ISBN 978-0-521-16875-5/pbk)。36-51 (2010).MSC公司:60年第68季度 64岁以下 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{J.Derrick},in:分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社。36-51(2010年;Zbl 1257.68103)
霍华德·鲍曼(编辑);约翰·德里克(编辑) 分布式处理的形式化方法。面向对象方法综述。重印2001年精装版。 (英语) Zbl 1233.68011号 剑桥:剑桥大学出版社(ISBN 978-0-521-16875-5/pbk)。x、 480页。(2010).MSC公司:68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}(ed.)和\textit{J.Derrick}(edi.),分布式处理的形式化方法。面向对象方法综述。2001年精装版再版,剑桥:剑桥大学出版社(2010;Zbl 1233.68011)
约翰·德里克;埃尔克·博伊滕 关系并发求精:自动机。 (英语) 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) 全文: 内政部
杰里米·布莱恩斯;霍华德·鲍曼;约翰·德里克 模型检验随机自动机。 (英语) 兹比尔1365.68316 ACM变速器。计算。日志。 4,第4期,452-492(2003).MSC公司:60年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bryans}等人,ACM Trans。计算。日志。第4号,第452-492页(2003年;兹bl 1365.68316) 全文: 内政部
约翰·德里克;格雷姆·史密斯 Object-Z和CSP中规定的系统的结构优化。 (英语) Zbl 1093.68602号 正式Asp。计算。 15,第1期,1-27页(2003年).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith},正式Asp。计算。15,第1号,1--27(2003;Zbl 1093.68602) 全文: 内政部
艺术,托马斯;克拉拉·贝纳克·厄尔;约翰·德里克 验证Erlang代码:资源锁案例研究。 (英语) Zbl 1064.68548号 Eriksson,Lars-Henrik(编辑)等人,FME 2002:正式方法——正确处理IT。欧洲正式方法国际研讨会,丹麦哥本哈根,2002年7月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43928-5)。莱克特。注释计算。科学。2391, 184-203 (2002).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Arts}等人,Lect。注释计算。科学。2391184--203(2002年;Zbl 1064.68548) 全文: 链接
霍华德·鲍曼(编辑);约翰·德里克(编辑) 分布式处理的形式化方法。面向对象方法综述。 (英语) Zbl 1233.68012号 剑桥:剑桥大学出版社(ISBN 0-521-77184-6/hbk)。x、 480页。(2001).MSC公司:68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}(ed.)和\textit{J.Derrick}(edi.),分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社(2001;Zbl 1233.68012)
埃尔克·博伊滕;约翰·德里克 解放数据精炼。 (英语) 兹伯利0963.68140 罗兰德·巴克豪斯(编辑)等人,《程序构造的数学》。2000年7月3日至5日,第五届国际会议,MPC 2000,葡萄牙利马桥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1837, 144-166 (2000).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick},莱克特。注释计算。科学。1837144-166(2000年;Zbl 0963.68140)