Electronic Notes in Theoretical Computer Science, Volume 54

Volume 54, 2001

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