![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
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
![](https://dblp.org/img/cog.dark.24x24.png)
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.