史蒂夫·里夫斯;大卫·斯特雷德 数据优化和单点故障优化是不等价的。 （英语） 兹比尔1149.68057 正式Asp。计算。 20，第3号，295-301（2008）. 引用于6文件 MSC公司： 68问题65 抽象数据类型；代数规范 关键词：数据细化;单一故障细化 软件：Z轴 PDF格式BibTeX公司 XML格式引用 \textit{S.Reeves}和\textit{D.Streader}，正式Asp。计算。20，第3号，295--301（2008；Zbl 1149.68057） 全文： 内政部 参考文献： [1] Bolton C，Davies J（2001）《通信顺序过程的单点故障语义》。研究报告PRG-RR-01-11，牛津大学计算实验室·Zbl 1110.68067号 [2] Boiten E，Derrick J（2002）《统一并发和关系求精》。收录：Derrick J、Boiten E、Woodcock J、von Wright J（编辑）REFINE 02：BCS FACS精炼车间。理论计算机科学电子笔记，第70卷（3）。爱思唯尔科学出版社，阿姆斯特丹·Zbl 1270.68022号 [3] Bolton C，Davies J（2002）《细化顺序及其相关模拟规则的比较》。收录：Derrick J、Boiten E、Woodcock J、von Wright J（编辑）《理论计算机科学电子笔记》，第70卷。阿姆斯特丹爱思唯尔·Zbl 1270.68162号 [4] Bolton C，Davies J（2006）用于通信顺序过程的单例故障语义。表Asp计算18（2）：181–210·Zbl 1110.68067号 ·doi:10.1007/s00165-005-0081-x [5] Derrick J，Boiten E（2001）Z和Object-Z中的精化：基础和高级应用。计算机和信息技术的形式化方法。柏林施普林格·Zbl 0982.68086号 [6] Derrick J，Boiten E（2003）关系并发求精。表Asp计算15（2–3）：182–214·Zbl 1093.68061号 ·文件编号：10.1007/s00165-003-0007-4 [7] Dunne S、Conroy S（2005）《B中的过程改进》。in:Treharne H、King S、Henson MC、Schneider S（eds）ZB 2005：《Z和B中的正式规范和开发》，第四届B和Z用户国际会议。计算机科学课堂讲稿，第3455卷。柏林施普林格，第45-64页·Zbl 1118.68543号 [8] de Roever WP，Engelhardt K（1998）《数据精化：面向模型的证明方法及其比较》，剑桥理论计算机科学丛书47。剑桥大学出版社 [9] He J，Hoare CAR，Sanders JW（1986），数据细化。在：欧洲ESOP计划研讨会论文集86，美国纽约州纽约市斯普林格，纽约，第187–196页 [10] Roscoe WA（1998）《并行理论与实践》。Prentice-Hall公司 [11] Reeves S、Streader D（2003）《数据和过程改进的比较》。In:Woodcock JCP，Dong JS（编辑）ICFEM会议记录。计算机科学课堂讲稿，第2885卷。柏林施普林格，第266-285页 [12] Woodcock J，Davies J（1996）使用Z：规范、精炼和证明。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0855.68060号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。