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
Last update Sat May 26 06:15:01 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page