| 1 | -- | 2 | Lubos Brim, Isabelle Linden. Preface |
| 3 | -- | 8 | Axel Legay, Pierre Wolper. On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address |
| 9 | -- | 29 | Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre. Roles as a Coordination Construct: Introducing powerJava |
| 31 | -- | 49 | Denys Duchier, Céline Kuttler. Biomolecular Agents as Multi-behavioural Concurrent Objects |
| 51 | -- | 60 | Volker Gruhn, Clemens Schäfer. Architecture Description for Mobile Distributed Systems Using Typed ::::pi::::-Calculus |
| 61 | -- | 80 | Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther. Distributed Reactive XML |
| 81 | -- | 101 | Luc Hogie, Pascal Bouvry, Frédéric Guinand. An Overview of MANETs Simulation |
| 103 | -- | 126 | Fernando Rosa Velardo, Olga Marroquín Alonso, David de Frutos-Escrig. Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems |
| 127 | -- | 142 | A. W. Stam, Luuk Groenewegen, Erik P. de Vink. Restructuring Paradigm Models for the ToolBus Architecture: A Case Study |
| 143 | -- | 157 | Carolyn L. Talcott. Coordination Models Based on a Formal Model of Distributed Object Reflection |