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