Bravetti, M. (ed.); Zavattaro, G. (ed.) Proceedings of the first international workshop on web services and formal methods (WSFM 2004), Pisa, Italy, February 23–24, 2004. (English) Zbl 1271.68024 Electronic Notes in Theoretical Computer Science 105. Amsterdam: Elsevier. 158 p., electronic only (2004). MSC: 68-06 68M11 68U35 00B25 PDFBibTeX XMLCite \textit{M. Bravetti} (ed.) and \textit{G. Zavattaro} (ed.), Proceedings of the first international workshop on web services and formal methods (WSFM 2004), Pisa, Italy, February 23--24, 2004. Amsterdam: Elsevier (2004; Zbl 1271.68024) Full Text: Link
Focardi, Riccardo (ed.); Zavattaro, Gianluigi (ed.) FGC’03. Foundations of global computing. Proceedings of the 2nd EATCS workshop (satellite event of ICALP 2003), Eindhoven, Netherlands, June 28–29, 2003. (English) Zbl 1271.68037 Electronic Notes in Theoretical Computer Science 85, No. 1. Amsterdam: Elsevier. 80 p., electronic only (2003). MSC: 68-06 68Q85 00B25 PDFBibTeX XMLCite \textit{R. Focardi} (ed.) and \textit{G. Zavattaro} (ed.), FGC'03. Foundations of global computing. Proceedings of the 2nd EATCS workshop (satellite event of ICALP 2003), Eindhoven, Netherlands, June 28--29, 2003. Amsterdam: Elsevier (2003; Zbl 1271.68037) Full Text: Link