![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/tgc/tgc2008.bht:"
@proceedings{DBLP:conf/tgc/2008, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00945-7}, doi = {10.1007/978-3-642-00945-7}, isbn = {978-3-642-00944-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BartolettiDFZ08, author = {Massimo Bartoletti and Pierpaolo Degano and Gian{-}Luigi Ferrari and Roberto Zunino}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Model Checking Usage Policies}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {19--35}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_2}, doi = {10.1007/978-3-642-00945-7\_2}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BartolettiDFZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BhowmickP08, author = {Abhishek Bhowmick and Catuscia Palamidessi}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {36--51}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_3}, doi = {10.1007/978-3-642-00945-7\_3}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BhowmickP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BravettiLLMZ08, author = {Mario Bravetti and Diego Latella and Michele Loreti and Mieke Massink and Gianluigi Zavattaro}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Combining Timed Coordination Primitives and Probabilistic Tuple Spaces}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {52--68}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_4}, doi = {10.1007/978-3-642-00945-7\_4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BravettiLLMZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BravettiLZ08, author = {Mario Bravetti and Ivan Lanese and Gianluigi Zavattaro}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Contract-Driven Implementation of Choreographies}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {1--18}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_1}, doi = {10.1007/978-3-642-00945-7\_1}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BravettiLZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BruniNLM08, author = {Roberto Bruni and Rocco De Nicola and Michele Loreti and Leonardo Gaetano Mezzina}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Provably Correct Implementations of Services}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {69--86}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_5}, doi = {10.1007/978-3-642-00945-7\_5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BruniNLM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/CairesFV08, author = {Lu{\'{\i}}s Caires and Carla Ferreira and Hugo Torres Vieira}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {A Process Calculus Analysis of Compensations}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {87--103}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_6}, doi = {10.1007/978-3-642-00945-7\_6}, timestamp = {Fri, 02 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tgc/CairesFV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/CoppoD08, author = {Mario Coppo and Mariangiola Dezani{-}Ciancaglini}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Structured Communications with Concurrent Constraints}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {104--125}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_7}, doi = {10.1007/978-3-642-00945-7\_7}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/CoppoD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/ElsborgHS08, author = {Ebbe Elsborg and Thomas T. Hildebrandt and Davide Sangiorgi}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Type Systems for Bigraphs}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {126--140}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_8}, doi = {10.1007/978-3-642-00945-7\_8}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/ElsborgHS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/Gorla08, author = {Daniele Gorla}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {On the Relative Expressive Power of Ambient-Based Calculi}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {141--156}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_9}, doi = {10.1007/978-3-642-00945-7\_9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/Gorla08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/KosowskiNP08, author = {Adrian Kosowski and Alfredo Navarra and Maria Cristina Pinotti}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Connectivity in Multi-interface Networks}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {157--170}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_10}, doi = {10.1007/978-3-642-00945-7\_10}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tgc/KosowskiNP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/MollePPR08, author = {Christelle Molle and Fabrice Peix and St{\'{e}}phane P{\'{e}}rennes and Herv{\'{e}} Rivano}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {171--185}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_11}, doi = {10.1007/978-3-642-00945-7\_11}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tgc/MollePPR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/Stoller08, author = {Scott D. Stoller}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Trust Management and Trust Negotiation in an Extension of {SQL}}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {186--200}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_12}, doi = {10.1007/978-3-642-00945-7\_12}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/Stoller08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/VazFR08, author = {C{\'{a}}tia Vaz and Carla Ferreira and Ant{\'{o}}nio Ravara}, editor = {Christos Kaklamanis and Flemming Nielson}, title = {Dynamic Recovering of Long Running Transactions}, booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5474}, pages = {201--215}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00945-7\_13}, doi = {10.1007/978-3-642-00945-7\_13}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/VazFR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/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.