Global Computing 2004: Rovereto, Italy

• Paolo Baldan, Andrea Bracciali, Roberto Bruni:
  Symbolic Equivalences for Open Systems. 1-17
  
• Paolo Baldan, Andrea Corradini, Fabio Gadducci:
  Specifying and Verifying UML Activity Diagrams Via Graph Transformation. 18-33
  
• Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing:
  Mobile UML Statecharts with Localities. 34-58
  
• Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura:
  Communities: Concept-Based Querying for Mobile Services. 59-76
  
• Angelo Troina, Alessandro Aldini, Roberto Gorrieri:
  Towards a Formal Treatment of Secrecy Against Computational Adversaries. 77-92
  
• Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini:
  For-LySa: UML for Authentication Analysis. 93-106
  
• Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia:
  Performance Analysis of a UML Micro-business Case Study. 107-126
  
• Sotiris E. Nikoletseas, Paul G. Spirakis:
  Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks. 127-145
  
• Alan Schmitt, Jean-Bernard Stefani:
  The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. 146-178
  
• Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos:
  A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. 179-207
  
• Gérard Boudol:
  A Generic Membrane Model (Note). 208-222
  
• Luc Onana Alima, Ali Ghodsi, Seif Haridi:
  A Framework for Structured Peer-to-Peer Overlay Networks. 223-249
  
• Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov:
  Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. 250-265
  
• Erik Aurell, Sameh El-Ansary:
  A Physics-Style Approach to Scalability of Distributed systems. 266-272
  
• M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande:
  BGP-Based Clustering for Scalable and Reliable Gossip Broadcast. 273-290
  
• Sotirios Terzis, Waleed Wagealla, Colin English, Paddy Nixon:
  Trust Lifecycle Management in a Global Computing Environment. 291-313
  
• Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
  The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. 314-339
  
• Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni:
  The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. 340-367