曼弗雷德·布罗伊 通过因果关系和可实现性对并发系统进行规范和验证。 （英语） Zbl 07739130号 西奥。计算。科学。 974，文章ID 114106，61 p.（2023）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \提奥，textit{M.Broy}。计算。科学。974，文章ID 114106，61 p.（2023；Zbl 07739130） 全文： 内政部
曼弗雷德·布罗伊 根据可实现性细化时间属性的安全活性分类。 （英语） 兹比尔1520.68070 Bartocci，Ezio（编辑）等人，《外层空间的形式方法》。纪念克劳斯·哈维隆德65岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。13065, 10-31 (2021).MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，莱克特。注释计算。科学。13065，10--31（2021；Zbl 1520.68070） 全文： 内政部
曼弗雷德·布罗伊 基于假设/承诺的系统接口规范和架构合同的理论和方法。 （英语） Zbl 1392.68238号 表格方法系统。设计。 52，第1期，33-87（2018）.MSC公司：60年第68季度 2007年7月68日 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，《形式方法系统》。设计。52、第1号、第33-87号（2018；Zbl 1392.68238） 全文： 内政部
曼弗雷德·布罗伊 通过表对系统属性进行实用的形式化规范。 （英语） Zbl 1454.68065号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 329-354 (2015).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，莱克特。注释计算。科学。8950329--354（2015；Zbl 1454.68065） 全文： 内政部
曼弗雷德·布罗伊 动态系统模型。 （英语） Zbl 1417.68022号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8415, 39-53 (2014).MSC公司：64岁以下 2007年7月68日 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，莱克特。注释计算。科学。8415，39-53（2014；Zbl 1417.68022） 全文： 内政部
曼弗雷德·布罗伊 验证无限状态Mealy机器的接口断言。 （英语） Zbl 1410.68218号 J.计算。系统。科学。 80，第7期，1298-1322（2014）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛M.Broy｝，J.Comput。系统。科学。80，第7号，1298--1322（2014；Zbl 1410.68218） 全文： 内政部
曼弗雷德·布罗伊 关于逻辑和代数在软件工程中的作用。 （英语） Zbl 1315.68083号 彼得·保罗（编辑），《数学、计算机科学和逻辑》——一个永无止境的故事。布鲁诺-巴赫伯格节日。基于2002年10月22日在奥地利哈根堡举行的布鲁诺·巴赫伯格60岁生日会议。查姆：施普林格（ISBN 978-3-319-00965-0/hbk；978-3-3169-00966-7/电子书）。51-68 (2013).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，in：数学、计算机科学和逻辑——一个永无止境的故事。布鲁诺-巴赫伯格节日。基于2002年10月22日在奥地利哈根堡举行的布鲁诺·巴赫伯格60岁生日会议。查姆：斯普林格。51-68（2013年；兹bl 1315.68083） 全文： 内政部
曼弗雷德·布罗伊 多功能软件系统：功能需求的结构化建模和规范。 （英语） Zbl 1211.68112号 科学。计算。程序。 75，第12期，1193-1214（2010）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \文本{M.Broy}，科学。计算。程序。75，第12号，1193--1214（2010；Zbl 1211.68112） 全文： 内政部
朱根尼·博塔斯卡扬;曼弗雷德·布罗伊;亚历山大·格鲁勒;亚历山大·哈胡林;斯特芬·纳普;列奥尼德·科夫;保罗，沃尔夫冈;玛丽亚·斯皮奇科娃 关于汽车系统上层的正确性。 （英语） Zbl 1165.68047号 正式Asp。计算。 20，第6期，637-662（2008）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Botaschanjan}等人，《形式语法》。计算。20，第6号，637--662（2008；Zbl 1165.68047） 全文： 内政部
曼弗雷德·布罗伊 从“形式化方法”到系统建模。 （英语） Zbl 1151.68345号 Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，24-44（2007）。MSC公司：68号01 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，莱克特。注释计算。科学。4700、24-44（2007年；Zbl 1151.68345） 全文： 内政部
曼弗雷德·布罗伊 指定、关联和组合面向对象的接口、组件和架构。 （英语） Zbl 1135.68008号 Broy，Manfred（编辑）等人，《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-731-4/hbk）。北约科学安全系列。D： 信息和通信安全9，22-72（2007）。MSC公司：68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，in：软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社。22-72（2007年；Zbl 1135.68008）
曼弗雷德·布罗伊 系统交互理论：组件、接口和服务。 （英语） Zbl 1266.68113号 Goldin，Dina（编辑）等人，交互式计算。新范式。柏林：施普林格出版社（ISBN 3-540-34666-X/hbk）。41-96 (2006).MSC公司：2010年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，in：交互式计算。新范式。柏林：施普林格。41-96（2006年；Zbl 1266.68113） 全文： 内政部
曼弗雷德·布罗伊 从混乱到不败。关于递归、终止、未指定、不确定性、不动点、度量处理和逻辑模型的故事。 （英语） Zbl 1132.68487号 Futatsugi，Kokichi（编辑）等人，《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-35462-X/pbk）。计算机科学课堂讲稿4060476-496（2006）。MSC公司：68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，莱克特。注释计算。科学。4060476--496（2006年；Zbl 1132.68487） 全文： 内政部
曼弗雷德·布罗伊（编辑）;Jonsson，孟加拉人（编辑）;Joost-Pieter卡托恩（编辑）;马丁·勒克（编辑）;亚历山大·普雷施纳（编辑） [埃克塞尔·贝林芬特;特蕾莎·伯格;克尔斯滕·伯克科特;亨利克·比约克隆德;Brandán Briones，劳拉;斯特凡·D·布鲁达。;科林，塞维琳;戴振如;乔治·丁;穆罕默德·勒姆利;拉尔斯·弗兰岑;安吉洛·加甘蒂尼;克里斯托夫·加斯顿;马克·霍斯特曼;Jonsson，孟加拉人;Joost-Pieter卡托恩;雷蒙·科纳;莫伊斯·克里钦;马丁·勒克;利瓦·卢西奥;莱昂纳多·马里亚尼;法比安·佩鲁克斯;菲利普斯，简;沃尔夫冈·普伦宁格;亚历山大·普雷施纳;哈拉尔德·拉菲尔特;马蒂亚斯·罗尔;马可·萨梅尔;斯文·桑德伯格;克里斯蒂安·夏尔哈特;德克·塞弗特;瓦列里察恩;马基尔·范德·比吉尔;维雷娜·沃尔夫] 反应系统的基于模型的测试。高级讲座。 （英语） Zbl 1070.68088号 计算机科学课堂讲稿3472.柏林：施普林格出版社（ISBN 3-540-26278-4/pbk）。viii，659页。(2005).MSC公司：60年第68季度 68米15 68-02 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}（编辑）等人，反应系统的基于模型的测试。高级讲座。柏林：施普林格出版社（2005；Zbl 1070.68088） 全文： 内政部
曼弗雷德·布罗伊 用于描述和验证不确定交互系统的函数演算。 （英语） Zbl 1274.68178号 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772161-181（2003）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，莱克特。注释计算。科学。2772161--181（2003年；Zbl 1274.68178） 全文： 内政部
曼弗雷德·布罗伊 开发过程中的消息序列图-角色和限制。 （英语） Zbl 1268.68109号 Caillaud，Benoit（编辑）等人，VISS 2002。2002年4月6日至14日，法国格勒诺布尔，验证和实施基于场景的规范国际研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第7期，第18-33页（2002年）。MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛M.Broy｝，电子。理论注释。计算。科学。65，第7号，18-33（2002；Zbl 1268.68109） 全文： 内政部
曼弗雷德·布罗伊 从国家到历史将国家和历史观联系到系统上。 （英语） Zbl 0989.68091号 Hoare，Tony（编辑）等人，《软件构建工程理论》。《北约ASI会议记录》，德国马克托伯多夫，2000年7月25日至8月6日。阿姆斯特丹：IOS出版社。北约科学。序列号。三、 计算。系统。科学。180, 149-186 (2001).MSC公司：60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit｛M.Broy｝，《北约科学》。序列号。三、 计算。系统。科学。180、149--186（2001年；Zbl 0989.68091）
布罗伊，M。 时间的提炼。 （英语） Zbl 0954.68097号 西奥。计算。科学。 253，第1期，3-26（2001）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥，textit{M.Broy}。计算。科学。253，第1号，第3--26号（2001；Zbl 0954.68097） 全文： 内政部
布罗伊，M。 反应系统的代数规范。 （英语） Zbl 0944.68129号 西奥。计算。科学。 239，第1期，3-40（2000）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \提奥，textit{M.Broy}。计算。科学。239，第1号，第3-40号（2000；Zbl 0944.68129） 全文： 内政部
曼弗雷德·布罗伊 模块化系统工程的逻辑基础。 （英语） Zbl 1012.68055号 Broy，Manfred（编辑）等人，《计算系统设计》。1998年7月28日至8月9日，德国马克托伯多夫第19届国际暑期学校会议记录。阿姆斯特丹：IOS出版社。北约ASI系列。，序列号。F、 计算。系统。科学。101-130 (1999).MSC公司：68号30 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，北约ASI Ser。，序列号。F、 计算。系统。科学。101-130、101-130（1999；Zbl 1012.68055）
埃吉迪奥·阿斯泰西亚诺;曼弗雷德·布罗伊;吉安娜·雷吉奥 并发系统的代数规范。 （英语） Zbl 0973.68150号 Astesiano，E.（编辑）等人，《系统规范的代数基础》。柏林：施普林格。IFIP现状报告。467-520 (1999).MSC公司：68问题65 68-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}等人，in：系统规范的代数基础。柏林：施普林格。467--520（1999年；Zbl 0973.68150）
比吉特·希德;曼弗雷德·布罗伊 调整计算逻辑以适应未定义的。 （英语） Zbl 0941.03031号 计算。J。 42，第2号，73-81（1999年）.MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Schieder}和\textit{M.Broy}，计算。J.42，第2号，73--81（1999；Zbl 0941.03031） 全文： 内政部 链接
曼弗雷德·布罗伊 交互式系统的组合优化。 （英语） Zbl 0904.68002号 美国临床医学杂志 44，第6号，850-891（1997）.MSC公司：68个月1日 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，J.ACM 44，第6号，850--891（1997；Zbl 0904.68002） 全文： 内政部 链接
曼弗雷德·布罗伊（编辑）;斯蒂芬·默兹（编辑）;特工，凯萨琳娜（编辑） 正式的茎干规范。RPC内存规范案例研究。 （英语） Zbl 1060.68504号 计算机科学课堂讲稿1169.柏林：施普林格出版社（ISBN 3-540-61984-4）。第二十三章，第540页。(1996).MSC公司：68-06 60年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}（ed.）等人，《正式文体规范》。RPC内存规范案例研究。柏林：施普林格（1996；Zbl 1060.68504）
曼弗雷德·布罗伊 长度为1的缓冲器的规范和改进。 （英语） Zbl 0847.68062号 Broy，Manfred（编辑），演绎程序设计。1994年7月26日至8月7日，《北约高级研究所学报》，德国马克托伯多夫。柏林：Springer-Verlag。北约ASI系列。，序列号。F、 计算。系统。科学。152, 273-304 (1996).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，北约ASI Ser。，序列号。F、 计算。系统。科学。152273--304（1996年；Zbl 0847.68062）
米查·瓦利基;曼弗雷德·布罗伊 非确定性数据类型的结构化规范和实现。 （英语） Zbl 0838.68080号 Nord.J.计算。 2，第3期，358-395（1995）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Walicki}和\textit{M.Broy}，Nord.J.Compute。2，第3号，358--395（1995；Zbl 0838.68080）
曼弗雷德·布罗伊;乌苏拉·欣克尔;托比亚斯·尼普科;克里斯蒂安·普雷霍弗;比吉特·希德 功能语言的口译员验证。 （英语） 兹比尔1044.68666 Thiagarajan，P.S.（编辑），《软件技术和理论计算机科学基础》。第十四届会议，1994年12月15日至17日，印度马德拉斯。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-58715-2/SC）。莱克特。注释计算。科学。880, 77-88 (1994).MSC公司：68问题55 68甲18 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人，Lect。注释计算。科学。880，77-88（1994年；兹比尔1044.68666）
曼弗雷德·布罗伊 交互式可序列化数据库接口的代数和函数规范。 （英语） Zbl 0748.68011号 分布计算。 6，第1期，5-18页（1992年）.MSC公司：第68页，共15页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，分发。计算。6，编号1，5--18（1992；Zbl 0748.68011） 全文： 内政部
曼弗雷德·布罗伊（编辑） 计算机科学和数学。（信息与数学） （德语） Zbl 0751.68003号 柏林等：施普林格出版社。十四、 第450页（1991年）。 审核人：I.O.Kerner（德累斯顿） MSC公司：68-06 68号01 60年第68季度 68N20型 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}（编辑），Informatik und Mathematik。柏林等：Springer-Verlag（1991；Zbl 0751.68003）
曼弗雷德·布罗伊 规范和描述语言SDL的正式基础。 （英语） Zbl 0712.68015号 形式方面计算。 3，第1号，21-57（1991）.MSC公司：68甲15 60年第68季度 2012年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Broy｝，正式Asp。计算。3，编号1，21-57（1991；Zbl 0712.68015） 全文： 内政部
曼弗雷德·布罗伊;托马斯·斯特里彻 共享资源仲裁的规范和设计。 （英语） Zbl 0741.68034号 国际J并行程序。 20，第1期，第1-22页（1991年）.MSC公司：68N99型 68问题55 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{T.Streicher}，国际J。并行程序。20，第1号，1--22（1991；Zbl 0741.68034） 全文： 内政部
布罗伊，M。（编辑）;C.B.琼斯。（编辑） 编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。 （英语） Zbl 0744.68016号 阿姆斯特丹等地：荷兰北部。八、 第581页（1990年）。 审核人：N.Curteanu（伊阿什） MSC公司：68-06 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Broy｝（编辑）和\textit｛C.B.Jones｝（编辑），编程概念和方法。IFIP工作组2.2/2.3工作会议记录，以色列加利利海，1990年4月2日至5日。阿姆斯特丹等：北荷兰（1990；Zbl 0744.68016）
曼弗雷德·布罗伊（编辑） 计算科学中的构造方法。1988年7月24日至8月5日，马克托伯多夫/FRG国际暑期学校。诉讼程序。 （英语） Zbl 0701.68005号 北约ASI系列，F，55。柏林等：施普林格出版社。八、 第478页，148.00德国马克（1989年）。 审核人：M.Kummer先生 MSC公司：68-06 60年第68季度 68问题65 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}（编辑），计算科学中的构造方法。1988年7月24日至8月5日，马克托伯多夫/FRG国际暑期学校。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0701.68005）
曼弗雷德·布罗伊 队列的视图。 （英语） Zbl 0665.68014号 科学。计算。程序。 11，第1号，65-86（1988）. 审核人：D.D.费希尔 MSC公司：68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，科学。计算。程序。11，编号1，65--86（1988；Zbl 0665.68014） 全文： 内政部
曼弗雷德·布罗伊 分布式系统的要求和设计规范。 （英语） Zbl 0663.68029号 Concurrency’88，程序。国际会议，汉堡/FRG 1988，Lect。注释计算。科学。335, 33-62 (1988).MSC公司：68N25号 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 部分高阶代数的方程规范。 （英语） Zbl 0644.68031号 西奥。计算。科学。 57，第1期，第3-45页（1988年）.MSC公司：68第05页 68问题65 03C05号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥，textit{M.Broy}。计算。科学。57，第1、3--45号（1988；Zbl 0644.68031） 全文： 内政部
曼弗雷德·布罗伊 非确定性数据流程序：如何避免合并异常。 （英语） Zbl 0632.68016号 科学。计算。程序。 10，第1号，65-85（1988）.MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，科学。计算。程序。10，编号1，65--85（1988；Zbl 0632.68016） 全文： 内政部
曼弗雷德·布罗伊;马丁·威辛 超低糖代数规范。 （英语） Zbl 0746.68060号 牛市。EATCS公司 35, 117-128 (1988).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{M.Wirsing}，公牛。EATCS 35、117--128（1988；Zbl 0746.68060）
曼弗雷德·布罗伊;马丁·威辛;彼得·佩珀 关于编程语言的代数定义。 （英语） Zbl 0627.68009号 ACM事务处理。程序。语言系统。 9, 54-99 (1987).MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人，《美国医学杂志》。程序。语言系统。9、54-99（1987年；Zbl 0627.68009） 全文： 内政部 链接
曼弗雷德·布罗伊;托马斯·斯特里彻 分布式系统的视图。 （英语） 兹标062668012 并行语义的数学模型。高级附表。，罗马/意大利1986年，Lect。注释计算。科学。280, 114-143 (1987).MSC公司：68N25号 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 部分高阶代数的方程规范。 （英语） Zbl 0625.68022号 程序设计逻辑和离散设计计算。北约高级研究所，Marktoberdorf/FRG 1986，北约ASI系列。，序列号。《联邦公报》第36卷，第185-241页（1987年）。MSC公司：68第05页 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 描述通信网络的功能程序的预测规范。 （英语） Zbl 0625.68007号 信息处理。莱特。 25, 93-101 (1987).MSC公司：68号01 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，Inf.流程。莱特。25、93——101（1987年；Zbl 0625.68007） 全文： 内政部
曼弗雷德·布罗伊 并发通信代理的有限和无限网络的语义。 （英语） Zbl 0621.68012号 分布计算。 2，13-31（1987年）.MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，分发。计算。2、13-31（1987年；Zbl 0621.68012） 全文： 内政部
曼弗雷德·布罗伊 通信顺序程序的表示语义。 （英语） 兹比尔0612.68024 信息处理。莱特。 23, 253-259 (1986).MSC公司：68N25号 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，Inf.流程。莱特。23、253--259（1986年；Zbl 0612.68024） 全文： 内政部
曼弗雷德·布罗伊 高阶代数类型的部分解释。 （英语） Zbl 0609.68019号 计算机科学数学基础。第十二交响曲。，布拉迪斯拉发/捷克。1986年，Lect。注释计算。科学。233, 29-43 (1986).MSC公司：68第05页 60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 关于不确定性、并行性、通信和并发性的理论。 （英语） Zbl 0601.68022号 西奥。计算。科学。 45, 1-61 (1986).MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥，textit{M.Broy}。计算。科学。45，1--61（1986；Zbl 0601.68022） 全文： 内政部
曼弗雷德·布罗伊;伯恩哈德·莫勒;彼得·佩珀;马丁·威辛 代数实现保持程序正确性。 （英语） 兹比尔0597.68021 科学。计算。程序。 7, 35-53 (1986).MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人，科学。计算。程序。7、35-53（1986年；Zbl 0597.68021） 全文： 内政部
曼弗雷德·布罗伊 关于非确定性计算的Herbrand-Kleene宇宙。 （英语） Zbl 0567.68024号 西奥。计算。科学。 36, 1-19 (1985).MSC公司：68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥，textit{M.Broy}。计算。科学。36，1-19（1985；Zbl 0567.68024） 全文： 内政部
曼弗雷德·布罗伊 巴克斯函数编程语言的结构化代数规范。 （英语） Zbl 0567.68009号 RAIRO，科技。信息。 447-458（1985年）.MSC公司：68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，RAIRO，科技。Inf.447--458（1985；Zbl 0567.68009）
曼弗雷德·布罗伊 并发、不确定、通信系统的扩展行为。 （英语） Zbl 0566.68019号 控制流和数据流：分布式编程的概念。德国Marktoberdorf北约高级研究所。1984年，北约ASI Ser。，序列号。F 14，229-276（1985）。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 分布式系统的规范和自上而下的设计。 （英语） Zbl 0563.68020号 软件开发的数学基础。Int.Conf.，柏林，1985年，第1卷：代数和编程中的Colloq.树，Lect。注释计算。科学。185, 4-28 (1985).MSC公司：68N25号 68第05页 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 关于非确定性计算的Herbrand-Kleene宇宙。 （英语） Zbl 0553.68026号 计算机科学数学基础。第十一交响曲。，普拉哈/捷克。1984年，Lect。注释计算。科学。176, 214-222 (1984).MSC公司：68问题65 60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊;弗里德里希·鲍尔。 并发程序语言构造的系统方法。 （英语） Zbl 0536.68013号 科学。计算。程序。 4，103-139（1984年）.MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{F.L.Bauer}，科学。计算。程序。4、103--139（1984年；Zbl 0536.68013） 全文： 内政部
曼弗雷德·布罗伊;马丁·威辛 广义异质代数和部分解释。 （英语） Zbl 0522.08001号 代数和编程树，CAAP’83，Proc。意大利拉奎拉市第八科洛克，1983年，Lect。注释计算。科学。159, 1-34 (1983).MSC公司：08A02号 60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 通过转换构建程序：排序程序的家族树。 （英语） Zbl 0518.68018号 计算机程序综合方法。北约高级研究所，博纳/法国，1981年，北约ASI Ser。，序列号。C 95，1-49（1983）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊 Funktionales Programmieren，Programmieen mit Funktionolen。 （德语） Zbl 0517.68021号 GI-13。Jahrestag公司。，程序。，汉堡1983年，Inf.-Fachber。73, 24-40 (1983).MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
马丁·威辛;彼得·佩珀;赫尔穆特·帕奇;沃尔特·多什;曼弗雷德·布罗伊 抽象数据类型的层次结构。 （英语） Zbl 0506.68024号 TUM，Inst.Inf.TUM-I8303，54页（1983年）。MSC公司：68第05页 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊;马丁·威辛 部分抽象类型。 （英语） Zbl 0494.68020号 学报信息。 18, 47-64 (1982).MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{M.Wirsing}，《学报年鉴》18，47-64（1982；Zbl 0494.68020） 全文： 内政部
胡椒，P。;布罗伊，M。;F.L.鲍尔。;H·帕奇。;多什·W·。;Wirsing，M。 Abstrakte Datentypen：Die algebraische Spezifikation von Rechenstrukturen。 （德语） Zbl 0488.68024号 Inf.-Spektrum 5，107-119（1982）。MSC公司：68第05页 PDF格式BibTeX公司 XML格式
曼弗雷德·布罗伊;马丁·威辛 关于抽象数据类型的代数扩展。 （英语） Zbl 0492.68024号 编程概念的形式化。int.Colloq.，西班牙佩尼斯科拉，1981年，法律。注释计算。科学。107, 244-251 (1981).MSC公司：68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
布罗伊，M。;多什·W·。;B.穆勒。;Wirsing，M。 GOTOs-编程语言代数规范的研究。（扩展摘要）。 （英语） Zbl 0481.68028号 GI-11。Jahrestag公司。，第三届欧洲理事会信息，慕尼黑，1981年，信息-Fachber。50. 109-121 (1981).MSC公司：68第05页 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
[P.德兰萨特。;科托夫，V.E。;高德尔，M.C。;特琳·G·。;N.D.琼斯。;施密特，D.A。;布罗伊，M。;Wirsing，M。;Boullier，P。;里普肯，K。;美国卡斯滕斯。;齐默尔曼，E。;M·拉斯科夫斯基。] 语言和传统。1978年10月至1981年10月，罗克扬科特，《信息与自动化研究所（IRIA）》，《研究所组织文本》。 （法语） Zbl 0473.68078号 收藏“印度研讨会”。Rocquencourt/法国：国家信息与自动化研究所（Institute National de Recherche en Informatique et en Automatique）。176页F 56.00（1981年）。MSC公司：68问题55 68-06 60年第68季度 65年第68季度 00亿Bxx PDF格式BibTeX公司 XML格式
F.L.鲍尔。;布罗伊，M。;多什·W·。;R.格纳茨。;Krieg-Brückner，B。;劳特，A。;勒克曼，M。;T·马特兹纳。;莫勒，B。;H·帕奇。;胡椒，P。;萨梅尔森，K。;斯坦布吕根，R。;Wirsing，M。;Wössner，H。 用一种广泛的语言编程：一组例子。 （英语） Zbl 0469.68003号 科学。计算。程序。 1, 73-114 (1981).MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Bauer}等人，科学。计算。程序。1、73--114（1981年；Zbl 0469.68003） 全文： 内政部
曼弗雷德·布罗伊;彼得·佩珀 作为正式活动的项目开发。 （英语） Zbl 0447.68005号 IEEE传输。软件工程。 7, 14-22 (1981).MSC公司：60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{P.Pepper}，IEEE Trans。柔和。工程7，14-22（1981；Zbl 0447.68005） 全文： 内政部
曼弗雷德·布罗伊;Krieg-Brückner，伯尔尼 通过转换在程序开发期间派生不变断言。 （英语） Zbl 0468.68016号 ACM事务处理。程序。语言系统。 2, 321-337 (1980).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{B.Krieg-Brückner}，美国医学会翻译。程序。语言系统。2、321--337（1980；Zbl 0468.68016） 全文： 内政部
布罗伊，M。 并发程序的转换语义。 （英语） Zbl 0444.68017号 信息处理。莱特。 11, 87-91 (1980).MSC公司：68N25号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，Inf.流程。莱特。11、87-91（1980年；Zbl 0444.68017） 全文： 内政部
布罗伊，M。;Wirsing，M。 程序开发：从枚举到回溯。 （英语） Zbl 0443.68011号 信息处理。莱特。 10, 193-197 (1980).MSC公司：60年第68季度 68瓦99 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{M.Wirsing}，Inf.过程。莱特。10、193--197（1980；Zbl 0443.68011） 全文： 内政部
布罗伊，M。;胡椒，P。;Wirsing，M。 关于程序之间的关系。 （英语） Zbl 0435.68017号 国际交响乐团。编程，程序。，1980年，巴黎。注释计算。科学。83, 59-78 (1980).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
布罗伊，M。;Wirsing，M。 作为抽象数据类型的编程语言。 （英语） Zbl 0433.68014号 Les arbres en algebre et en programmation，5ieme Colloq.，里尔1980，160-177（1980）。MSC公司：60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式
F.L.鲍尔。;布罗伊，M。;R.格纳茨。;W.黑塞。;Krieg-Brückner，B。;H·帕奇。;胡椒，P。;Wössner，H。 面向支持程序规范和程序开发的广谱语言。 （英语） Zbl 0409.68003号 项目建设，国际夏令营。，马克托伯多夫1978年，Lect。注释计算。科学。69, 543-552 (1979).MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式
布罗伊，M。;R.格纳茨。;Wirsing，M。 问题spezifikation-eine Grundlage für Programmentwicklung。 （德语） Zbl 0407.68005号 可靠软件研讨会，第二届会议。德国。ACM章，波恩，1978年，申请。计算。科学。，Ber.公司。普拉克。Inf.14，235-246（1979）。MSC公司：68号01 68第05页 68问题65 PDF格式BibTeX公司 XML格式
布罗伊，M。;Wirsing，M。;财务，J.P。;A.奎尔。;雷米，J.L。 给定序列中最大长度升序子序列问题的方法求解。 （英语） Zbl 0406.68012号 信息处理。莱特。 8, 224-229 (1979).MSC公司：60年第68季度 68号01 68第05页 68瓦99 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}等人，《信息处理》。莱特。8224--229（1979年；Zbl 0406.68012） 全文： 内政部
布罗伊，M。;R.格纳茨。;Wirsing，M。 非确定性和非连续结构的语义。 （英语） Zbl 0406.03059号 项目建设，国际夏令营。，马克托伯多夫1978年，Lect。注释计算。科学。69, 553-592 (1979).MSC公司：03天60 68N99型 03E60年 68问题65 PDF格式BibTeX公司 XML格式
H·帕奇。;布罗伊，M。 更改类型和对象结构的示例。 （英语） Zbl 0399.68030号 项目建设，国际夏令营。，马克托伯多夫1978年，Lect。注释计算。科学。69, 421-463 (1979).MSC公司：68第05页 PDF格式BibTeX公司 XML格式