曼弗雷德·布罗伊 基于假设/承诺的系统接口规范和架构合同的理论和方法。 （英语） 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 1274.68223号 Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930，118-126（2010）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，莱克特。注释计算。科学。5930118-126（2010年；Zbl 1274.68223） 全文： 内政部
曼弗雷德·布罗伊 开发过程中的消息序列图-角色和限制。 （英语） 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}，电子。注释Theor。计算。科学。65，第7号，18-33（2002；Zbl 1268.68109） 全文： 内政部
布罗伊，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） 全文： 内政部
曼弗雷德·布罗伊;克里斯蒂安·伦戈尔 论指称语义学与谓语语义学。 （英语） 兹比尔0716.68060 J.计算。系统。科学。 42，第1期，1-29页（1991年）。 审核人：N.Curteanu公司 MSC公司：68问题55 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{C.Lengauer}，J.Compute。系统。科学。42，编号1，1--29（1991；Zbl 0716.68060） 全文： 内政部
曼弗雷德·布罗伊 部分高阶代数的方程规范。 （英语） 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 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 0619.68020号 J.计算。系统。科学。 34236-265（1987年）。MSC公司：68N25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，J.计算。系统。科学。34、236——265（1987年；Zbl 0619.68020） 全文： 内政部
曼弗雷德·布罗伊 通信顺序程序的表示语义。 （英语） Zbl 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 0601.68022号 西奥。计算。科学。 45, 1-61 (1986)。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥，textit{M.Broy}。计算。科学。45，1--61（1986；Zbl 0601.68022） 全文： 内政部
曼弗雷德·布罗伊 基于应用多道程序设计语言的通信过程的表示语义。 （英语） Zbl 0509.68019号 信息处理。莱特。 17, 29-35 (1983)。MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，Inf.流程。莱特。17、29-35（1983年；Zbl 0509.68019） 全文： 内政部
Broy，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） 全文： 内政部