Search dblp for Publications

export results for "toc:db/conf/ice/ice2008.bht:"

 download as .bib file

@proceedings{DBLP:conf/ice/2008,
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/229/issue/3},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ice/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BalbianiCF09,
  author       = {Philippe Balbiani and
                  Fahima Cheikh and
                  Guillaume Feuillade},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration
                  With Applications to Web Services Composition},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.036},
  doi          = {10.1016/J.ENTCS.2009.06.036},
  timestamp    = {Fri, 24 Feb 2023 11:41:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BalbianiCF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BeauquierCL09,
  author       = {Dani{\`{e}}le Beauquier and
                  Jo{\"{e}}lle Cohen and
                  Ruggero Lanotte},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Security Policies Enforcement Using Finite Edit Automata},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {19--35},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.037},
  doi          = {10.1016/J.ENTCS.2009.06.037},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BeauquierCL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BonchiGSTT09,
  author       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Preface},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.035},
  doi          = {10.1016/J.ENTCS.2009.06.035},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BonchiGSTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BraccialiBL09,
  author       = {Andrea Bracciali and
                  Roberto Bruni and
                  Alberto Lluch{-}Lafuente},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {On Symbolic Semantics for Name-decorated Contexts},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {37--58},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.038},
  doi          = {10.1016/J.ENTCS.2009.06.038},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BraccialiBL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FossatiV09,
  author       = {Luca Fossati and
                  Daniele Varacca},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {A Petri Net Model of Handshake Protocols},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {59--76},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.039},
  doi          = {10.1016/J.ENTCS.2009.06.039},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FossatiV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GlabbeekGS09,
  author       = {Rob J. van Glabbeek and
                  Ursula Goltz and
                  Jens{-}Wolfhard Schicke},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Symmetric and Asymmetric Asynchronous Interaction},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {77--95},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.040},
  doi          = {10.1016/J.ENTCS.2009.06.040},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GlabbeekGS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Heindel09,
  author       = {Tobias Heindel},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Towards Secrecy for Rewriting in Weakly Adhesive Categories},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {97--115},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.041},
  doi          = {10.1016/J.ENTCS.2009.06.041},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Heindel09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HennessyG09,
  author       = {Matthew Hennessy and
                  Manish Gaur},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Counting the Cost in the Picalculus (Extended Abstract)},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {117--129},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.042},
  doi          = {10.1016/J.ENTCS.2009.06.042},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HennessyG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RathkeS09,
  author       = {Julian Rathke and
                  Pawel Sobocinski},
  editor       = {Filippo Bonchi and
                  Davide Grohmann and
                  Paola Spoletini and
                  Angelo Troina and
                  Emilio Tuosto},
  title        = {Making the Unobservable, Unobservable},
  booktitle    = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
                  ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {229},
  number       = {3},
  pages        = {131--144},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.043},
  doi          = {10.1016/J.ENTCS.2009.06.043},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RathkeS09.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.