约泽夫·温科夫斯基 建立混合系统行为建模框架。 (英语) Zbl 1128.68071号 芬丹。通知。 80,编号1-3,311-332(2007).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski},芬丹。通知。80,编号1--3311--332(2007;Zbl 1128.68071)
约泽夫·温科夫斯基 行为代数。 (英语) Zbl 1108.68083号 芬丹。通知。 75,编号1-4,537-560(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski},芬丹。通知。75,编号1--4537--560(2007;Zbl 1108.68083)
阿尔班·蓬塞;范德兹瓦格,马克B。 使用Belnap逻辑对ACP进行概括。 (英语) Zbl 1106.68075号 J.日志。代数。程序。 70,第222-235号(2007年).MSC公司:68问题85 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse}和\textit{M.B.van der Zwaag},J.Log。代数。程序。70,第2号,222--235(2007;Zbl 1106.68075) 全文: 内政部
罗伯托·卢奇;曼努埃尔·马扎拉 WS-BPEL的基于像素的语义。 (英语) Zbl 1178.68367号 J.日志。代数。程序。 70,第1期,96-118(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lucchi}和\textit{M.Mazzara},J.Log。代数。程序。70,第1号,96--118(2007;Zbl 1178.68367) 全文: 内政部
马里奥·布拉维蒂;吉安路易吉·扎瓦塔罗 从进程代数的角度来看,面向服务的计算。 (英语) Zbl 1178.68072号 J.日志。代数。程序。 70,编号1,3-14(2007).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}和\textit{G.Zavataro},J.Log。代数。程序。70,第1号,第3-14号(2007;Zbl 1178.68072) 全文: 内政部
谢尔盖·戈拉奇(编辑);马可·丹拉托托(编辑) 网格计算的综合研究。 (英语) 兹伯利1116.68012 纽约州纽约市:施普林格出版社(ISBN 0-387-47656-3/hbk)。十八、285页。(2007). 审核人:都铎·巴勒内斯库(皮特斯蒂) MSC公司:68M10个 68甲19 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Gorlatsch}(编辑)和\textit{M.Danalpto}(主编),网格计算的综合研究。纽约州纽约市:施普林格(2007;Zbl 1116.68012) 全文: 内政部