Electronic Notes in Theoretical Computer Science, Volume 54

> Home > Journals > Electronic Notes in Theoretical Computer Science

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

- view
- export record
  dblp key:
  - journals/entcs/Arbab01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Arbab01
Farhad Arbab:
Coordination of Mobile Components. 1-16
- view
- export record
  dblp key:
  - journals/entcs/CarbunarVV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CarbunarVV01
Bogdan Carbunar, Marco Tulio de Oliveira Valente, Jan Vitek:
CoreLime: A Coordination Model for Mobile Agents. 17-34
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrariMP01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrariMP01a
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese:
Global Types and Network Services. 35-48
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/BraccialiBFT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BraccialiBFT01
Andrea Bracciali, Antonio Brogi, Gian Luigi Ferrari, Emilio Tuosto:
Security Issues in Component-based Design. 49-57
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/CortesiF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CortesiF01
Agostino Cortesi, Riccardo Focardi:
Information Flow Security in Mobile Ambients. 58-68
- view
- export record
  dblp key:
  - journals/entcs/BartolettiDF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiDF01
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Static Analysis for Stack Inspection. 69-80
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/BettiniLP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BettiniLP01
Lorenzo Bettini, Michele Loreti, Rosario Pugliese:
Modelling Node Connectivity in Dynamically Evolving Networks. 81-91
- view
- export record
  dblp key:
  - journals/entcs/BusiZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BusiZ01
Nadia Busi, Gianluigi Zavattaro:
On the Serializability of Transactions in JavaSpaces. 92-105
- view
- export record
  dblp key:
  - journals/entcs/BruniM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BruniM01
Roberto Bruni, Ugo Montanari:
Zero-safe net models for transactions in Linda. 106-116
- view
- export record
  dblp key:
  - journals/entcs/MontanariS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MontanariS01
Ugo Montanari, Vladimiro Sassone:
Preface. 117

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.