Volume 54, 2001

ConCoord: International Workshop on Concurrency and Coordination
Lipari Island, Italy, 6 - 8 July 2001
A workshop associated to the 13th Lipari School

• 
  Farhad Arbab: Coordination of Mobile Components. 1-16
• 
  Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek: CoreLime: A Coordination Model for Mobile Agents. 17-34
• 
  Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese: Global Types and Network Services. 35-48
• 
  Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto: Security Issues in Component-based Design. 49-57
• 
  Agostino Cortesi, Riccardo Focardi: Information Flow Security in Mobile Ambients. 58-68
• 
  Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari: Static Analysis for Stack Inspection. 69-80
• 
  Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. 81-91
• 
  Nadia Busi, Gianluigi Zavattaro: On the Serializability of Transactions in JavaSpaces. 92-105
• 
  Roberto Bruni, Ugo Montanari: Zero-safe net models for transactions in Linda. 106-116
• 
  Ugo Montanari, Vladimiro Sassone: Preface. 117