Electronic Notes in Theoretical Computer Science, Volume 54

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