戴维·诺曼(David A.Naumann)。;迈克·巴奈特 面向命令模块:关于不变量的推理和可变状态的共享。 (英语) Zbl 1118.68088号 西奥。计算。科学。 365,编号1-2,143-168(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann}和\textit{M.Barnett},Theor。计算。科学。365,编号1--2,143-168(2006;Zbl 1118.68088) 全文: 内政部
何继峰;李晓山;刘志明 rCOS:对象系统的精化演算。 (英语) Zbl 1118.68049号 西奥。计算。科学。 365,编号1-2,109-142(2006).MSC公司:68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.He}等人,Theor。计算。科学。365,编号1--2,109-142(2006;Zbl 1118.68049) 全文: 内政部
张玲;南希·林奇;罗伯特·塞加拉;Vaandrager,Frits公司 交换式PIOA:通过分布式调度进行并行合成。 (英语) Zbl 1118.68038号 西奥。计算。科学。 365,编号1-2,83-108(2006).MSC公司:68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cheung}等人,Theor。计算。科学。365,编号1-2,83-108(2006年;Zbl 1118.68038) 全文: 内政部 链接
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;Jurdziński,马钦 具有安全平衡的游戏。 (英语) Zbl 1108.91007号 西奥。计算。科学。 365,编号1-2,67-82(2006). 审核人:侯继成(北京) MSC公司:91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Theor。计算。科学。365,编号1--2,67-82(2006;Zbl 1108.91007) 全文: 内政部
埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu,Ingrid Chieh女士 Creol:分布式并发系统的一种类型安全的面向对象模型。 (英语) Zbl 1118.68031号 西奥。计算。科学。 365,第1-2期,23-66(2006).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,Theor。计算。科学。365,编号1--2,23-66(2006;Zbl 1118.68031) 全文: 内政部
路易斯·巴博萨。;JoséN·奥利维拉。 换位部分成分——一项关于联合精化的练习。 (英语) Zbl 1118.68047号 西奥。计算。科学。 365,第1-2、2-22号(2006).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Barbosa}和\textit{J.N.Oliveira},Theor。计算。科学。365,编号1--2,2--22(2006;Zbl 1118.68047) 全文: 内政部
法兰克·德波尔(编辑);马塞洛·邦桑格(编辑) 特刊:组件和对象的形式化方法。根据2004年11月2日至5日在荷兰莱顿举行的第三届组件和对象形式化方法国际研讨会(FMCO)上的陈述,选择并扩展了论文。 (英语) Zbl 1125.68317号 西奥。计算。科学。365,第1-2期,168页。(2006). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式