塞巴斯蒂安·鲍尔。;乌里法伦伯格;Legay、Axel;克劳斯·苏兰 一般定量规范理论与模式。 (英语) Zbl 1360.68576号 爱德华·赫施(Edward A.Hirsch)等,《计算机科学——理论与应用》。2012年7月3日至7日,第七届俄罗斯国际计算机科学研讨会,CSR 2012,俄罗斯下诺夫哥罗德。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-30641-9/pbk)。计算机科学课堂讲稿7353,18-30(2012)。 小结:本文提出了一种新的定量规范理论。它将逐步细化和组合设计操作的概念从布尔推广到任意数量设置。结果表明,这种通用方法允许重铸系统设计中出现的许多现有问题。关于整个系列,请参见[兹比尔1245.68012]. 引用于5文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Lect。注释计算。科学。7353,18-30(2012;Zbl 1360.68576) 全文: 内政部