Electronic Notes in Theoretical Computer Science, Volume 54

Volume 54, 2001

• Ugo Montanari, Vladimiro Sassone:
  Preface.
  
• Farhad Arbab:
  Coordination of Mobile Components.
  
• Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek:
  Lime Revisited: Reverse Engineering an Agent Communication Model.
  
• Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
  Global Types and Network Services.
  
• Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto:
  Security Issues in Component-based Design.
  
• Agostino Cortesi, Riccardo Focardi:
  Information Flow Security in Mobile Ambients.
  
• Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
  Static Analysis for Stack Inspection.
  
• Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
  Modelling Node Connectivity in Dynamically Evolving Networks.
  
• Nadia Busi, Gianluigi Zavattaro:
  On the Serializability of Transactions in JavaSpaces.
  
• Roberto Bruni, Ugo Montanari:
  Zero-safe net models for transactions in Linda.