Abstract is missing.
- Contract-Driven Implementation of ChoreographiesMario Bravetti, Ivan Lanese, Gianluigi Zavattaro. 1-18 [doi]
- Model Checking Usage PoliciesMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino. 19-35 [doi]
- Bounds on the Leakage of the Input s Distribution in Information-Hiding ProtocolsAbhishek Bhowmick, Catuscia Palamidessi. 36-51 [doi]
- Combining Timed Coordination Primitives and Probabilistic Tuple SpacesMario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro. 52-68 [doi]
- Provably Correct Implementations of ServicesRoberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina. 69-86 [doi]
- A Process Calculus Analysis of CompensationsLuís Caires, Carla Ferreira, Hugo Torres Vieira. 87-103 [doi]
- Structured Communications with Concurrent ConstraintsMario Coppo, Mariangiola Dezani-Ciancaglini. 104-125 [doi]
- Type Systems for BigraphsEbbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi. 126-140 [doi]
- On the Relative Expressive Power of Ambient-Based CalculiDaniele Gorla. 141-156 [doi]
- Connectivity in Multi-interface NetworksAdrian Kosowski, Alfredo Navarra, Maria Cristina Pinotti. 157-170 [doi]
- Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized InformationsChristelle Molle, Fabrice Peix, Stéphane Pérennes, Hervé Rivano. 171-185 [doi]
- Trust Management and Trust Negotiation in an Extension of SQLScott D. Stoller. 186-200 [doi]
- Dynamic Recovering of Long Running TransactionsCátia Vaz, Carla Ferreira, António Ravara. 201-215 [doi]