


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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.