TGC 2008: Barcelona, Spain
Christos Kaklamanis, Flemming Nielson (Eds.): Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-00944-0- Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. 1-18
- Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino: Model Checking Usage Policies. 19-35
- Abhishek Bhowmick, Catuscia Palamidessi: Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols. 36-51
- Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. 52-68
- Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina: Provably Correct Implementations of Services. 69-86
- Luís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. 87-103
- Mario Coppo, Mariangiola Dezani-Ciancaglini: Structured Communications with Concurrent Constraints. 104-125
- Daniele Gorla: On the Relative Expressive Power of Ambient-Based Calculi. 141-156
- Adrian Kosowski, Alfredo Navarra, Maria Cristina Pinotti: Connectivity in Multi-interface Networks. 157-170
- Christelle Molle, Fabrice Peix, Stéphane Pérennes, Hervé Rivano: Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations. 171-185
- Scott D. Stoller: Trust Management and Trust Negotiation in an Extension of SQL. 186-200
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team