苏，李;鲁道夫·戈麦斯;霍华德·鲍曼 使用通信自动机分析神经生物学模型。 （英语） Zbl 1342.92024号 正式Asp。计算。 26，第6期，1169-1204（2014）.MSC公司：92B20型 65年第68季度 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Su}等人，正式Asp。计算。26，第6号，1169--1204（2014；Zbl 1342.92024） 全文： 内政部
霍华德·鲍曼;约翰·德里克 正式方法中的问题。重印2001年精装版。 （英语） Zbl 1257.68103号 Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。36-51 (2010).MSC公司：60年第68季度 68米14 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{J.Derrick}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。36-51（2010年；Zbl 1257.68103）
霍华德·鲍曼（编辑）;约翰·德里克（编辑） 分布式处理的形式化方法。面向对象方法综述。重印2001年精装版。 （英语） 兹比尔1233.68011 剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。x、 480页。(2010).MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 68米14 68甲15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。2001年精装版再版，剑桥：剑桥大学出版社（2010；Zbl 1233.68011）
戈麦斯，鲁道夫;霍华德·鲍曼 Zeno的有效检测在时间自动机中运行。 （英语） Zbl 1141.68435号 Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763195-210（2007）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.戈麦斯}和\textit{H.鲍曼}，莱克特。注释计算。科学。4763195-210（2007年；Zbl 1141.68435） 全文： 内政部 链接
霍华德·鲍曼;戈麦斯，鲁道夫 如何停止计时。 （英语） Zbl 1105.68059号 正式Asp。计算。 18，第4期，459-493（2006）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{R.Gomez}，正式Asp。计算。18，第4号，459--493（2006；Zbl 1105.68059） 全文： 内政部
霍华德·鲍曼;鲁道夫·戈麦斯 并发理论。为不定时和定时并发系统建模的微积分和自动机。 （英语） Zbl 1140.68046号 伦敦：施普林格（ISBN 1-85233-895-4/hbk）。第二十四、435页。(2006). 审核人：Alekber Aliyev（巴库） MSC公司：68问题85 65年第68季度 60年第68季度 68米14 68-01 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{R.Gomez}，并发理论。为不定时和定时并发系统建模的微积分和自动机。伦敦：Springer（2006；Zbl 1140.68046）
霍华德·鲍曼;鲁道夫·戈麦斯;苏，李 时间自动机中Zeno时间锁的语法检测工具。 （英语） 兹比尔1272.68229 Ulidowski，Irek（编辑），《2004年ARTS会议录》，第六届AMAST实时系统研讨会（ARTS 2004），英国斯特林，2004年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》139，第1期，25-47（2005）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}等人，《电子》。理论注释。计算。科学。139，编号1，25-47（2005；Zbl 1272.68229） 全文： 链接
杰里米·布莱恩斯;霍华德·鲍曼;约翰·德里克 模型检验随机自动机。 （英语） Zbl 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，第4号，452--492（2003；Zbl 1365.68316） 全文： 内政部
霍华德·鲍曼（编辑）;约翰·德里克（编辑） 分布式处理的形式化方法。面向对象方法综述。 （英语） Zbl 1233.68012号 剑桥：剑桥大学出版社（ISBN 0-521-77184-6/hbk）。x、 480页。(2001).MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 68米14 68甲15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（2001；Zbl 1233.68012）
杰里米·布莱恩斯;布莱尔、林恩;霍华德·鲍曼;约翰·德里克 基于自动机的设计的规范和分析。 （英语） Zbl 1043.68566号 Grieskamp，Wolfgang（编辑）等人，《综合形式方法》。2000年11月1日至3日，第二届国际会议，IFM 2000，德国达格斯图尔城堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41196-8）。莱克特。注释计算。科学。1945, 176-193 (2000).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bryans}等人，Lect。注释计算。科学。1945年，176-193年（2000年；Zbl 1043.68566） 全文： 链接