default search action
TGC 2008: Barcelona, Spain
- Christos Kaklamanis, Flemming Nielson:
Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5474, Springer 2009, 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 - Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi:
Type Systems for Bigraphs. 126-140 - 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 - Cátia Vaz, Carla Ferreira, António Ravara:
Dynamic Recovering of Long Running Transactions. 201-215
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.