Search dblp for Publications

export results for "stream:streams/conf/global:"

 download as .bib file

@proceedings{DBLP:conf/gc/2004,
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b103251},
  doi          = {10.1007/B103251},
  isbn         = {3-540-24101-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/AlbertiCGLMT04,
  author       = {Marco Alberti and
                  Federico Chesani and
                  Marco Gavanelli and
                  Evelina Lamma and
                  Paola Mello and
                  Paolo Torroni},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {The {SOCS} Computational Logic Approach to the Specification and Verification
                  of Agent Societies},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {314--339},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_17},
  doi          = {10.1007/978-3-540-31794-4\_17},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gc/AlbertiCGLMT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/AlimaGH04,
  author       = {Luc Onana Alima and
                  Ali Ghodsi and
                  Seif Haridi},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {A Framework for Structured Peer-to-Peer Overlay Networks},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {223--249},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_12},
  doi          = {10.1007/978-3-540-31794-4\_12},
  timestamp    = {Tue, 02 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gc/AlimaGH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/AurellE04,
  author       = {Erik Aurell and
                  Sameh El{-}Ansary},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {A Physics-Style Approach to Scalability of Distributed systems},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {266--272},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_14},
  doi          = {10.1007/978-3-540-31794-4\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/AurellE04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BaldanBB04,
  author       = {Paolo Baldan and
                  Andrea Bracciali and
                  Roberto Bruni},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Symbolic Equivalences for Open Systems},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_1},
  doi          = {10.1007/978-3-540-31794-4\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/BaldanBB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BaldanCG04,
  author       = {Paolo Baldan and
                  Andrea Corradini and
                  Fabio Gadducci},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Specifying and Verifying {UML} Activity Diagrams Via Graph Transformation},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {18--33},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_2},
  doi          = {10.1007/978-3-540-31794-4\_2},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/BaldanCG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BettiniNFLLOPV04,
  author       = {Lorenzo Bettini and
                  Rocco De Nicola and
                  Daniele Falassi and
                  Marc Lacoste and
                  Lu{\'{\i}}s M. B. Lopes and
                  Lic{\'{\i}}nio Oliveira and
                  Herv{\'{e}} Paulino and
                  Vasco Thudichum Vasconcelos},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {A Software Framework for Rapid Prototyping of Run-Time Systems for
                  Mobile Calculi},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {179--207},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_10},
  doi          = {10.1007/978-3-540-31794-4\_10},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/BettiniNFLLOPV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BorgstromNAG04,
  author       = {Johannes Borgstr{\"{o}}m and
                  Uwe Nestmann and
                  Luc Onana Alima and
                  Dilian Gurov},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Verifying a Structured Peer-to-Peer Overlay Network: The Static Case},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {250--265},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_13},
  doi          = {10.1007/978-3-540-31794-4\_13},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gc/BorgstromNAG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/Boudol04,
  author       = {G{\'{e}}rard Boudol},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {A Generic Membrane Model (Note)},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {208--222},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_11},
  doi          = {10.1007/978-3-540-31794-4\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/Boudol04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BraccialiDEKLMSSTT04,
  author       = {Andrea Bracciali and
                  Neophytos Demetriou and
                  Ulrich Endriss and
                  Antonis C. Kakas and
                  Wenjin Lu and
                  Paolo Mancarella and
                  Fariba Sadri and
                  Kostas Stathis and
                  Giacomo Terreni and
                  Francesca Toni},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {The {KGP} Model of Agency for Global Computing: Computational Model
                  and Prototype Implementation},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {340--367},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_18},
  doi          = {10.1007/978-3-540-31794-4\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/BraccialiDEKLMSSTT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BrahamiEGH04,
  author       = {M. Brahami and
                  Patrick Th. Eugster and
                  Rachid Guerraoui and
                  Sidath B. Handurukande},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {BGP-Based Clustering for Scalable and Reliable Gossip Broadcast},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {273--290},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_15},
  doi          = {10.1007/978-3-540-31794-4\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/BrahamiEGH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BuchholtzMPS04,
  author       = {Mikael Buchholtz and
                  Carlo Montangero and
                  Lara Perrone and
                  Simone Semprini},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {For-LySa: {UML} for Authentication Analysis},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {93--106},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_6},
  doi          = {10.1007/978-3-540-31794-4\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/BuchholtzMPS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/LatellaMBW04,
  author       = {Diego Latella and
                  Mieke Massink and
                  Hubert Baumeister and
                  Martin Wirsing},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Mobile {UML} Statecharts with Localities},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {34--58},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_3},
  doi          = {10.1007/978-3-540-31794-4\_3},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/LatellaMBW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/NikoletseasS04,
  author       = {Sotiris E. Nikoletseas and
                  Paul G. Spirakis},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Efficient Information Propagation Algorithms in Smart Dust and NanoPeer
                  Networks},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {127--145},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_8},
  doi          = {10.1007/978-3-540-31794-4\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/NikoletseasS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/Pokozy-KorenblatPQ04,
  author       = {Katerina Pokozy{-}Korenblat and
                  Corrado Priami and
                  Paola Quaglia},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Performance Analysis of a {UML} Micro-business Case Study},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {107--126},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_7},
  doi          = {10.1007/978-3-540-31794-4\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/Pokozy-KorenblatPQ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/SchmittS04,
  author       = {Alan Schmitt and
                  Jean{-}Bernard Stefani},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {The Kell Calculus: {A} Family of Higher-Order Distributed Process
                  Calculi},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {146--178},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_9},
  doi          = {10.1007/978-3-540-31794-4\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/SchmittS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/SkouteliPSP04,
  author       = {Chara Skouteli and
                  Christoforos Panayiotou and
                  George Samaras and
                  Evaggelia Pitoura},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Communities: Concept-Based Querying for Mobile Services},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {59--76},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_4},
  doi          = {10.1007/978-3-540-31794-4\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/SkouteliPSP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/TerzisWEN04,
  author       = {Sotirios Terzis and
                  Waleed Wagealla and
                  Colin English and
                  Paddy Nixon},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Trust Lifecycle Management in a Global Computing Environment},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {291--313},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_16},
  doi          = {10.1007/978-3-540-31794-4\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/TerzisWEN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/TroinaAG04,
  author       = {Angelo Troina and
                  Alessandro Aldini and
                  Roberto Gorrieri},
  editor       = {Corrado Priami and
                  Paola Quaglia},
  title        = {Towards a Formal Treatment of Secrecy Against Computational Adversaries},
  booktitle    = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
                  Italy, March 9-12, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3267},
  pages        = {77--92},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31794-4\_5},
  doi          = {10.1007/978-3-540-31794-4\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gc/TroinaAG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/AldiniG03,
  author       = {Alessandro Aldini and
                  Roberto Gorrieri},
  editor       = {Corrado Priami},
  title        = {A Study about Trade-Off between Performance and Security in an Internet
                  Audio Mechanism},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {203--228},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_7},
  doi          = {10.1007/978-3-540-40042-4\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/global/AldiniG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BaumeisterKKSW03,
  author       = {Hubert Baumeister and
                  Nora Koch and
                  Piotr Kosiuczenko and
                  Perdita Stevens and
                  Martin Wirsing},
  editor       = {Corrado Priami},
  title        = {{UML} for Global Computing},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_1},
  doi          = {10.1007/978-3-540-40042-4\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/global/BaumeisterKKSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BettiniBNFGLMPTV03,
  author       = {Lorenzo Bettini and
                  Viviana Bono and
                  Rocco De Nicola and
                  Gian{-}Luigi Ferrari and
                  Daniele Gorla and
                  Michele Loreti and
                  Eugenio Moggi and
                  Rosario Pugliese and
                  Emilio Tuosto and
                  Betti Venneri},
  editor       = {Corrado Priami},
  title        = {The Klaim Project: Theory and Practice},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {88--150},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_4},
  doi          = {10.1007/978-3-540-40042-4\_4},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/Bono03,
  author       = {Viviana Bono},
  editor       = {Corrado Priami},
  title        = {Extensible Objects: {A} Tutorial},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {57--87},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_3},
  doi          = {10.1007/978-3-540-40042-4\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/global/Bono03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BrodoDGHP03,
  author       = {Linda Brodo and
                  Pierpaolo Degano and
                  Stephen Gilmore and
                  Jane Hillston and
                  Corrado Priami},
  editor       = {Corrado Priami},
  title        = {Performance Evaluation for Global Computation},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {229--253},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_8},
  doi          = {10.1007/978-3-540-40042-4\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/global/BrodoDGHP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BrodoDP03,
  author       = {Linda Brodo and
                  Pierpaolo Degano and
                  Corrado Priami},
  editor       = {Corrado Priami},
  title        = {Reflecting Mobile Ambients into the p-Calculus},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {25--56},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_2},
  doi          = {10.1007/978-3-540-40042-4\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/global/BrodoDP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/Giovannetti03,
  author       = {Elio Giovannetti},
  editor       = {Corrado Priami},
  title        = {Ambient Calculi with Types: {A} Tutorial},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {151--191},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_5},
  doi          = {10.1007/978-3-540-40042-4\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/global/Giovannetti03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/Gollmann03,
  author       = {Dieter Gollmann},
  editor       = {Corrado Priami},
  title        = {Facets of Security},
  booktitle    = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  pages        = {192--202},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40042-4\_6},
  doi          = {10.1007/978-3-540-40042-4\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/global/Gollmann03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/global/2003,
  editor       = {Corrado Priami},
  title        = {Global Computing. Programming Environments, Languages, Security, and
                  Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
                  Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2874},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b94264},
  doi          = {10.1007/B94264},
  isbn         = {3-540-20583-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/global/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics