1 | -- | 21 | Joaquim Gabarró, Alan Stewart, Maurice Clint. Grab and Go Systems: a CPO approach to concurrent web and grid-based computation |
22 | -- | 36 | Nadia Busi, Gianluigi Zavattaro. On the Expressiveness of Movement in Pure Mobile Ambients |
37 | -- | 51 | Maria Grazia Vigliotti, Iain Phillips. Barbs and Congruences for Safe Mobile Ambients |
52 | -- | 75 | Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese. Guardians for Ambient-based Monitoring |
76 | -- | 97 | Silvia Crafa, Michele Bugliesi, Giuseppe Castagna. Information Flow Security for Boxed Ambients |
98 | -- | 115 | Viviana Bono, Ferruccio Damiani, Paola Giannini. A Calculus for Environment-Aware Computation |
116 | -- | 144 | Dominic Duggan. Abstractions for Fault-Tolerant Global Computing |
145 | -- | 169 | Florence Germain, Marc Lacoste, Jean-Bernard Stefani. An Abstract Machine for a Higher-Order Distributed Process Calculus |
170 | -- | 184 | José Luis Vivas, Nobuko Yoshida. Dynamic Channel Screening in the Higher Order pi-Calculus |
185 | -- | 186 | Vladimiro Sassone. Preface - F-WAN: Foundations of Wide Area Network Computing |