Global computing. IST/FET international workshop, GC 2004, Rovereto, Italy, March 9--12, 2004. Revised selected papers. (Q1779171)

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1029.00066). Indexed articles: \textit{Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto}, Symbolic equivalences for open systems, 1-17 [Zbl 1111.68530] \textit{Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio}, Specifying and verifying UML activity diagrams via graph transformation, 18-33 [Zbl 1111.68496] \textit{Latella, Diego; Massink, Mieke; Baumeister, Hubert; Wirsing, Martin}, Mobile UML statecharts with localities, 34-58 [Zbl 1111.68353] \textit{Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto}, Towards a formal treatment of secrecy against computational adversaries, 77-92 [Zbl 1111.68447] \textit{Schmitt, Alan; Stefani, Jean-Bernard}, The Kell calculus: A family of higher-order distributed process calculi, 146-178 [Zbl 1111.68547] \textit{Boudol, Gérard}, A generic membrane model (note), 208-222 [Zbl 1111.68532] \textit{Onana Alima, Luc; Ghodsi, Ali; Haridi, Seif}, A framework for structured peer-to-peer overlay networks, 223-249 [Zbl 1111.68332] \textit{Borgström, Johannes; Nestmann, Uwe; Onana, Luc; Gurov, Dilian}, Verifying a structured peer-to-peer overlay network: the static case, 250-265 [Zbl 1111.68305] \textit{Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo}, The SOCS computational logic approach to the specification and verification of agent societies, 314-339 [Zbl 1111.68494] \textit{Bracciali, Andrea; Demetriou, Neophytos; Endriss, Ulle; Kakas, Antonis C.; Lu, Wenjin; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Terreni, Giacomo; Toni, Francesca}, The KGP model of agency for global computing: Computational model and prototype implementation, 340-367 [Zbl 1111.68452]