Journal: Electronic Notes in Theoretical Computer Science

Volume 66, Issue 3

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