瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达·马西阿 用于设计和分析web服务编排的Petri网方法。 (英语) Zbl 1188.68205号 J.日志。代数。程序。 78,第5号,359-380(2009).MSC公司:第68季度85 68米10 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人,J.Log。代数。程序。78,第5号,359--380(2009;Zbl 1188.68205) 全文: 内政部
阿尔班·蓬塞;范德兹瓦格,马克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) 全文: 内政部