编辑配置文件（在新选项卡中打开） 迈克尔·巴特勒。 合著者距离 作者ID： 管家米查尔-j 发布日期： 迈克尔·巴特勒。 已编制索引的文档： 36出版物自1995年起 11作为编辑的贡献 合著者： 4位合著者具有2联合出版物 29位合作作者 全部的 前5名合著者 8 单一作者 5 卡拉·费雷拉 三 乔纳森·鲍文（Jonathan P.Bowen）。 三 Hoang，泰国儿子 三 Michael Leuschel先生 2 伊贡博格尔 2 阿米尔·马苏德·盖泽尔巴什 2 C.A.R.Tony Hoare 2 路易吉亚·皮特 2 Satpathy，马诺兰詹 2 斯努克，科林 1 回来了，拉尔夫·约翰 1 米克洛斯·比罗 1 保罗·博卡（Paul P.Boca）。 1 Eerke A.Boiten。 1 罗伯托·布鲁尼 1 齐波拉，J.L。 1 科琳娜·Cîrstea 1 穆罕默德·达尔万迪 1 爱德华·德容 1 约翰·德里克 1 达纳·Dghaym 1 彼得·W·杜克。 1 安德鲁·埃德蒙兹 1 阿西赫·萨利希·法塔巴迪 1 迪米特拉·吉安娜科波卢 1 古德蒙德·格罗夫 1 吉姆·格兰迪 1 斯特凡·哈勒斯特德 1 瑞秋·哈里森 1 哈特尔，彼得·H。 1 Mike G.Hinchey。 1 爱尔兰，安德鲁 1 埃纳尔·布罗赫·约翰森 1 克利夫·琼斯。 1 托马斯·朗巴卡 1 玛丽亚·特蕾莎·拉诺 1 圣普雷斯蒂 1 马克·朗利 1 伊萨姆·马姆里亚 1 阿蒂夫·马斯科尔 1 二凡·马萨利 1 埃尔南·梅尔格拉蒂 1 米哈伊洛夫，L.G。 1 乌戈·蒙塔纳里。 1 卡罗尔·C·摩根。 1 梅萨姆·莫塔哈法尔 1 吴敏勇 1 迈克尔·波普尔顿 1 亚历山大·拉施克 1 史蒂夫·里夫斯 1 克劳斯·赖奇尔 1 阿卜杜勒巴吉·雷扎扎德 1 沙米姆·里彭。 1 亚历山大·罗曼诺夫斯基。 1 卢克瑟纳斯、里姆维达斯 1 格温·萨拉恩 1 克劳斯·迪特尔·舍韦 1 沃尔夫拉姆·舒尔特 1 佳兆业Sere 1 格雷姆·史密斯 1 斯努克，詹姆斯 1 彼得·斯坦斯比。 1 Elena A.Troubitsyna。 1 菲利普·特纳 1 约阿金·冯·赖特 1 朱晨阳 全部的 前5名系列 10 计算的形式方面 6 计算机科学课堂讲稿 三 计算机程序设计科学 1 现代物理快报A 1 国际现代物理杂志A 1 信息学报 1 工程数学杂志 1 国际工程数值方法杂志 全部的 前5名领域 43 计算机科学（68至XX） 11 总体主题；集合（00-XX） 2 流体力学（76-XX） 2 相对论和引力理论（83至XX） 1 微分几何（53至XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 zbMATH Open中包含的引文 25出版物有被引用4次4文件 引用人▼ 年份▼ 长时间运行事务的跟踪语义。 Zbl 1081.68644号 迈克尔·巴特勒;你好，托尼;卡拉·费雷拉 14 2005 时域中使用长椭球多极展开的无限元。 Zbl 0960.74061号 齐波拉，J.L。;M.J.巴特勒。 13 1998 结合CSP和B进行规范和属性验证。 Zbl 1120.68411号 迈克尔·巴特勒;Michael Leuschel先生 10 2005 csp2B：结合CSP和B的实用方法。 Zbl 0969.68578号 迈克尔·巴特勒 10 2000 StAC的操作语义，StAC是一种建模长期运行的业务事务的语言。 Zbl 1081.68643号 迈克尔·巴特勒;卡拉·费雷拉 9 2004 比较两种可补偿流量合成方法。 Zbl 1134.68316号 罗伯托·布鲁尼;迈克尔·巴特勒;卡拉·费雷拉;你好，托尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 8 2005 精化计算器：程序精化的证明支持。 兹伯利0886.68028 迈克尔·巴特勒;吉姆·格兰迪;托马斯·朗巴卡;卢克瑟纳斯、里姆维达斯;约阿金·冯·赖特 5 1997 Event-B中的实用理论扩展。 兹比尔1390.68178 巴特勒，迈克尔;伊萨姆·马姆里亚 5 2013 逐步完善通信系统。 Zbl 0858.68037号 迈克尔·巴特勒。 三 1996 容错方法、模型和工具。 Zbl 1160.68001号 三 2009 从树操作中推导指针算法的计算。 Zbl 0924.68036号 迈克尔·巴特勒 2 1999 一种过程补偿语言。 Zbl 1043.68528号 迈克尔·巴特勒;卡拉·费雷拉 2 2000 event-B中事件组的外部和内部选择。 Zbl 1259.68121号 迈克尔·巴特勒 2 2012 抽象状态机、合金、B、TLA、VDM和Z。第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5-8日。诉讼程序。 Zbl 1387.68015号 2 2018 动作系统、无界不确定性和无限迹。 Zbl 0939.68635号 迈克尔·巴特勒;卡罗尔·摩根 1 1995 精化演算中的融合和同时执行。 Zbl 0927.68012号 回来了，拉尔夫·约翰;迈克尔·巴特勒 1 1998 抽象状态机，B和Z。第一届国际会议，ABZ 2008，英国伦敦，2008年9月16日至18日。诉讼程序。 Zbl 1147.68002号 1 2008 在UML中可视化CSP的工具支持。 Zbl 1015.68812号 吴孟勇;迈克尔·巴特勒 1 2002 关于在开发安全通信系统中使用数据精炼。 Zbl 1029.68012号 迈克尔·巴特勒 1 2002 使用B细分分析补偿业务流程。 Zbl 1028.68506号 卡拉·费雷拉;巴特勒，迈克尔 1 2003 一种将B和Alloy相结合的方法。 Zbl 1044.68674号 列奥尼德·米哈伊洛夫;迈克尔·巴特勒 1 2002 理性的建模评论家：将失败的证明转化为建模指导。 Zbl 1264.68058号 爱尔兰，安德鲁;古德蒙德·格罗夫;玛丽亚·特蕾莎·拉诺;迈克尔·巴特勒 1 2013 极小曲面与广义Einstein-Maxwell-Dilaton理论。 Zbl 1414.83075号 M.巴特勒。;Ghezelbash，A.M。 1 2019 cCSP语义模型的PVS嵌入及其关系。 Zbl 1335.68129号 沙米姆·里彭。;迈克尔·巴特勒。 1 2009 FM 2011：正式方法。第17届正式方法国际研讨会，爱尔兰利默里克，2011年6月20日至24日。诉讼程序。 Zbl 1216.68024号 1 2011 极小曲面与广义Einstein-Maxwell-Dilaton理论。 Zbl 1414.83075号 M.巴特勒。;Ghezelbash，A.M。 1 2019 抽象状态机、合金、B、TLA、VDM和Z。第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5-8日。诉讼程序。 Zbl 1387.68015号 2 2018 Event-B中的实用理论扩展。 Zbl 1390.68178号 迈克尔·巴特勒;马姆里亚，伊萨姆 5 2013 理性的建模评论家：将失败的证明转化为建模指导。 Zbl 1264.68058号 爱尔兰，安德鲁;古德蒙德·格罗夫;玛丽亚·特蕾莎·拉诺;迈克尔·巴特勒 1 2013 事件B中具有事件组的外部和内部选择。 兹比尔1259.68121 迈克尔·巴特勒 2 2012 FM 2011：正式方法。第17届正式方法国际研讨会，爱尔兰利默里克，2011年6月20日至24日。诉讼程序。 Zbl 1216.68024号 1 2011 容错方法、模型和工具。 Zbl 1160.68001号 三 2009 cCSP语义模型的PVS嵌入及其关系。 Zbl 1335.68129号 沙米姆·里彭。;迈克尔·巴特勒。 1 2009 抽象状态机，B和Z。第一届国际会议，ABZ 2008，英国伦敦，2008年9月16日至18日。诉讼程序。 Zbl 1147.68002号 1 2008 长时间运行事务的跟踪语义。 Zbl 1081.68644号 迈克尔·巴特勒;你好，托尼;卡拉·费雷拉 14 2005 结合CSP和B进行规范和属性验证。 Zbl 1120.68411号 迈克尔·巴特勒;Michael Leuschel先生 10 2005 比较两种可补偿流量合成方法。 Zbl 1134.68316号 罗伯托·布鲁尼;迈克尔·巴特勒;卡拉·费雷拉;你好，托尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 8 2005 StAC的操作语义，StAC是一种建模长期运行的业务事务的语言。 Zbl 1081.68643号 迈克尔·巴特勒;卡拉·费雷拉 9 2004 使用B细分分析补偿业务流程。 Zbl 1028.68506号 卡拉·费雷拉;迈克尔·巴特勒 1 2003 在UML中可视化CSP的工具支持。 兹比尔1015.68812 吴敏勇;迈克尔·巴特勒 1 2002 关于在开发安全通信系统中使用数据精炼。 Zbl 1029.68012号 迈克尔·巴特勒 1 2002 结合B和合金的方法。 兹比尔1044.68674 列昂尼德·米哈伊洛夫;迈克尔·巴特勒 1 2002 csp2B：结合CSP和B的实用方法。 Zbl 0969.68578号 迈克尔·巴特勒 10 2000 一种过程补偿语言。 Zbl 1043.68528号 迈克尔·巴特勒;卡拉·费雷拉 2 2000 从树操作中推导指针算法的计算。 Zbl 0924.68036号 迈克尔·巴特勒 2 1999 时域中使用长椭球多极展开的无限元。 Zbl 0960.74061号 齐波拉，J.L。;M.J.巴特勒。 13 1998 精化演算中的融合和同时执行。 Zbl 0927.68012号 回来了，拉尔夫·约翰;迈克尔·巴特勒 1 1998 精化计算器：程序精化的证明支持。 Zbl 0886.68028号 迈克尔·巴特勒;吉姆·格兰迪;托马斯·朗巴卡;卢克瑟纳斯、里姆维达斯;约阿金·冯·赖特 5 1997 逐步完善通信系统。 Zbl 0858.68037号 迈克尔·巴特勒。 三 1996 动作系统、无界不确定性和无限迹。 兹伯利0939.68635 迈克尔·巴特勒;卡罗尔·摩根 1 1995 5位作者引用 2 斯特凡·哈勒斯特德 1 陈振邦 1 刘志明 1 迈克尔·波普莱顿 1 王、吉 2篇连载文章中引用 1 理论计算机科学 1 计算的形式方面 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文