Peter Y.H.Wong。;杰里米·吉本斯 工作流建模的属性规范。 (英语) Zbl 1216.68165号 科学。计算。程序。 76,第10期,942-967(2011).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第10号,942--967(2011;Zbl 1216.68165) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 针对多重继承的带有惰性行为子类型的增量推理。 (英语) 兹比尔1221.68058 科学。计算。程序。 76,编号10,915-941(2011).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,科学。计算。程序。76,第10号,915--941(2011;Zbl 1221.68058) 全文: 内政部
罗伯特·J·科尔文。;伊恩·海耶斯。 使用CSP和规范命令的行为树语义。 (英语) Zbl 1220.68050号 科学。计算。程序。 76,第10号,891-914(2011).MSC公司:68号30 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes},科学。计算。程序。76,第10号,891--914(2011;Zbl 1220.68050) 全文: 内政部
北卡罗来纳州贝内什。;布里姆·L。;布诺娃,B。;乔纳,I。;J·索科尔。;瓦·埃科娃,P。 应用于组件交互自动机的状态/事件LTL的部分降阶。 (英语) Zbl 1220.68048号 科学。计算。程序。 76,第10号,877-890(2011).MSC公司:68号30 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,科学。计算。程序。76,第10号,877--890(2011;Zbl 1220.68048) 全文: 内政部
本杰明·韦伊 程序逻辑演算中的谓词抽象。 (英语) Zbl 1221.68066号 科学。计算。程序。 76,第10号,861-876(2011).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Weiß},科学。计算。程序。76,第10号,861--876(2011;Zbl 1221.68066) 全文: 内政部
史蒂夫·施耐德;海伦·特里哈恩 不断改变系统接口:CSP\(\|\)B的一种新的细化策略。 (英语) Zbl 1221.68062号 科学。计算。程序。 76,第10号,837-860(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}和\textit{H.Treharne},科学。计算。程序。76,编号10837-860(2011年;兹bl 1221.68062) 全文: 内政部
Michael Leuschel先生(编辑);海克·卫尔海姆(编辑) 特刊:集成形式化方法(iFM09)。根据2009年2月16日至19日在德国杜塞尔多夫举行的第七届国际会议上的发言选出的论文。 (英语) Zbl 1221.68024号 科学。计算。程序。76,第10期,835-967(2011)。 MSC公司:68-06 00B25型 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式