Abstract
F-WAN: Foundations of Wide Area Network ComputingThis volume contains the proceedings of the international workshop F-WAN: Foundations of Wide Area Network Computing. The workshop was held in Malága, Spain, on July 12-13 2002 under the auspices of EATCS, the European Association of Theoretical Computer Science, as a satellite event of the 29th International Colloquium on Automata, Languages and Programming, ICALP 2002.The growing diffusion of internet services and applications is promoting Global Computing as an emerging model of computation. Based on mobility of code and computation on networks with highly dynamic topologies, global computing needs effective infrastructures to support the coordination and control of components loaded at runtime from untrusted sources, as well as semantic frameworks to reason on the behaviour and properties of applications.Foundations of Wide Area Network Computing focused on semantics aspects of Global Computing. The scientific programme consisted of four invited presentations and nine contributed papers, selected from high-quality submissions ranging from calculi, models, and semantic theories of concurrent, distributed, mobile, global-computing systems to languages, security and types for global computing. The Invited Speakers completed the meeting with samples of leading research in the area: Martín Abadi (U. C. Santa Cruz), Some Recent Security ProtocolsLuca Cardelli (Microsoft Research, Cambridge), Spatial Logics for Distributed SystemsAndrew D. Gordon (Microsoft Research, Cambridge), Authenticity Types for Cryptographic ProtocolsMatthew Hennessy (U. Sussex), Behavioural Equivalences for Distributed AgentsThe Programme Committee was formed by •Cédric Fournet (Microsoft)•Andrew Gordon (Microsoft)•Alan Jeffrey (De Paul, Chicago)•Ugo Montanari (Pisa)•Catuscia Palamidessi (PennState)•Benjamin Pierce (UPenn)•Davide Sangiorgi (INRIA)•Vladimiro Sassone (Sussex)•Peter Sewell (Cambridge)Beside thanking Programme Committee members and invited speakers for their formidable contribution, and the authors for considering F-WAN, I thankfully acknowledge the help of the following referees: Roberto Bruni, Giuseppe Castagna, Fabio Gadducci, Francesca Levi, and Hernan Melgratti.A final warm thank goes to the impeccable ICALP 2002 Organising Committee: Inmaculada Fortes Ruiz, Llanos Mora, Rafael Morales, Francisco Triguero.August 2002Vladimiro Sassone
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
