Search dblp for Publications

export results for "toc:db/conf/tgc/tgc2008.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.