Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1708-02319,
  author       = {Dan R. Ghica and
                  Khulood AlYahya},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {On the Learnability of Programming Language Semantics},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {57--75},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.7},
  doi          = {10.4204/EPTCS.261.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1708-02319.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11208,
  author       = {Tobias Prehn and
                  Stephan Mennicke},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {Keep it Fair: Equivalences},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {5--16},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.4},
  doi          = {10.4204/EPTCS.261.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11208.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11209,
  author       = {Franco Barbanera and
                  Ugo de'Liguoro},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {Session Types for Orchestrated Interactions},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {17--36},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.5},
  doi          = {10.4204/EPTCS.261.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11209.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11210,
  author       = {Chiara Bodei and
                  Pierpaolo Degano and
                  Letterio Galletta and
                  Emilio Tuosto},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {Tool Supported Analysis of IoT},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {37--56},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.6},
  doi          = {10.4204/EPTCS.261.6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11210.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1711-11211,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Fabrizio Montesi},
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {On Asynchrony and Choreographies},
  booktitle    = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  pages        = {76--90},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.261.8},
  doi          = {10.4204/EPTCS.261.8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-11211.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1711-10708,
  editor       = {Massimo Bartoletti and
                  Laura Bocchi and
                  Ludovic Henrio and
                  Sophia Knight},
  title        = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
                  2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
  series       = {{EPTCS}},
  volume       = {261},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.10708},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-10708.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AngiusH11a,
  author       = {Alessio Angius and
                  Andr{\'{a}}s Horv{\'{a}}th},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {Product Form Approximation of Transient Probabilities in Stochastic
                  Reaction Networks},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {3--14},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.031},
  doi          = {10.1016/J.ENTCS.2011.09.031},
  timestamp    = {Fri, 10 Mar 2023 15:14:25 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AngiusH11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ButiCCMT11,
  author       = {Federico Buti and
                  Diletta Cacciagrano and
                  Flavio Corradini and
                  Emanuela Merelli and
                  Luca Tesei},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {A Uniform Multiscale Meta-model of BioShape},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {15--27},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.032},
  doi          = {10.1016/J.ENTCS.2011.09.032},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ButiCCMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FornariCMBC11,
  author       = {Chiara Fornari and
                  Francesca Cordero and
                  Daniele Manini and
                  Gianfranco Balbo and
                  Raffaele A. Calogero},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell
                  Models},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {29--39},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.033},
  doi          = {10.1016/J.ENTCS.2011.09.033},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FornariCMBC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GianniniK11,
  author       = {Paola Giannini and
                  Jean Krivine},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {Preface},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.030},
  doi          = {10.1016/J.ENTCS.2011.09.030},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GianniniK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LioMPV11,
  author       = {Pietro Li{\`{o}} and
                  Emanuela Merelli and
                  Nicola Paoletti and
                  Marco Viceconti},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {A Combined Process Algebraic and Stochastic Approach to Bone Remodeling},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {41--52},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.034},
  doi          = {10.1016/J.ENTCS.2011.09.034},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LioMPV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pedersen11,
  author       = {Michael Pedersen},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {A Syntactic Abstraction for Rule-Based Languages with Binding},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {53--64},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.035},
  doi          = {10.1016/J.ENTCS.2011.09.035},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pedersen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SciaccaSGC11,
  author       = {Eva Sciacca and
                  Salvatore Spinella and
                  Andrea Genre and
                  Cristina Calcagno},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {Analysis of Calcium Spiking in Plant Root Epidermis through {CWC}
                  Modeling},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {65--76},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.036},
  doi          = {10.1016/J.ENTCS.2011.09.036},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SciaccaSGC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StewartW11,
  author       = {Donal Stewart and
                  John Roger Wilson{-}Kanamori},
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {Modular Modelling in Synthetic Biology: Light-Based Communication
                  in E. coli},
  booktitle    = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  pages        = {77--87},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.037},
  doi          = {10.1016/J.ENTCS.2011.09.037},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StewartW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cs2bio/2011,
  editor       = {Paola Giannini and
                  Jean Krivine},
  title        = {The Second International Workshop on Interactions between Computer
                  Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
                  9, 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {277},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/277/suppl/C},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cs2bio/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/FoxC09,
  author       = {Jorge Fox and
                  Siobh{\'{a}}n Clarke},
  editor       = {Jorge Fox and
                  Cormac Driver and
                  Hans P. Reiser and
                  R{\"{u}}diger Kapitza and
                  Ren{\'{e}} Meier},
  title        = {Exploring approaches to dynamic adaptation},
  booktitle    = {Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application
                  Interaction, {MAI} '09, Lisbon, Portugal, June 12, 2009},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1566966.1566970},
  doi          = {10.1145/1566966.1566970},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discotec/FoxC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/MelingM09,
  author       = {Hein Meling and
                  Alberto Montresor},
  editor       = {Jorge Fox and
                  Cormac Driver and
                  Hans P. Reiser and
                  R{\"{u}}diger Kapitza and
                  Ren{\'{e}} Meier},
  title        = {Type-safe dynamic protocol composition in Jgroup/ARM},
  booktitle    = {Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application
                  Interaction, {MAI} '09, Lisbon, Portugal, June 12, 2009},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1566966.1566967},
  doi          = {10.1145/1566966.1566967},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discotec/MelingM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/ReiserDK09,
  author       = {Hans P. Reiser and
                  Tobias Distler and
                  R{\"{u}}diger Kapitza},
  editor       = {Jorge Fox and
                  Cormac Driver and
                  Hans P. Reiser and
                  R{\"{u}}diger Kapitza and
                  Ren{\'{e}} Meier},
  title        = {Functional decomposition and interactions in hybrid intrusion-tolerant
                  systems},
  booktitle    = {Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application
                  Interaction, {MAI} '09, Lisbon, Portugal, June 12, 2009},
  pages        = {7--12},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1566966.1566968},
  doi          = {10.1145/1566966.1566968},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discotec/ReiserDK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/SpillnerBS09,
  author       = {Josef Spillner and
                  Iris Braun and
                  Alexander Schill},
  editor       = {Jorge Fox and
                  Cormac Driver and
                  Hans P. Reiser and
                  R{\"{u}}diger Kapitza and
                  Ren{\'{e}} Meier},
  title        = {Service adaptivity through cross-domain reconfiguration of non-functional
                  properties},
  booktitle    = {Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application
                  Interaction, {MAI} '09, Lisbon, Portugal, June 12, 2009},
  pages        = {13--18},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1566966.1566969},
  doi          = {10.1145/1566966.1566969},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/discotec/SpillnerBS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/discotec/2009mai,
  editor       = {Jorge Fox and
                  Cormac Driver and
                  Hans P. Reiser and
                  R{\"{u}}diger Kapitza and
                  Ren{\'{e}} Meier},
  title        = {Proceedings of the 3rd International DiscCoTec Workshop on Middleware-Application
                  Interaction, {MAI} '09, Lisbon, Portugal, June 12, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1566966},
  doi          = {10.1145/1566966},
  isbn         = {978-1-60558-489-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/discotec/2009mai.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/places/2008,
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/241/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/places/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/Eichhorn08,
  author       = {Alexander Eichhorn},
  editor       = {Hans P. Reiser},
  title        = {Middleware abstractions for cross-layer controlled media streaming},
  booktitle    = {Proceedings of the 2nd workshop on Middleware-application interaction
                  - affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
                  Oslo, Norway, June 3, 2008},
  pages        = {13--18},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1394272.1394276},
  doi          = {10.1145/1394272.1394276},
  timestamp    = {Mon, 03 Jan 2022 16:11:35 +0100},
  biburl       = {https://dblp.org/rec/conf/discotec/Eichhorn08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/IrmertLB0M08,
  author       = {Florian Irmert and
                  Frank Lauterwald and
                  Matthias Bott and
                  Thomas Fischer and
                  Klaus Meyer{-}Wegener},
  editor       = {Hans P. Reiser},
  title        = {Integration of dynamic {AOP} into the OSGi service platform},
  booktitle    = {Proceedings of the 2nd workshop on Middleware-application interaction
                  - affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
                  Oslo, Norway, June 3, 2008},
  pages        = {25--30},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1394272.1394279},
  doi          = {10.1145/1394272.1394279},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discotec/IrmertLB0M08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/JanjicHY08,
  author       = {Vladimir Janjic and
                  Kevin Hammond and
                  Yang Yang},
  editor       = {Hans P. Reiser},
  title        = {Using application information to drive adaptive grid middleware scheduling
                  decisions},
  booktitle    = {Proceedings of the 2nd workshop on Middleware-application interaction
                  - affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
                  Oslo, Norway, June 3, 2008},
  pages        = {7--12},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1394272.1394275},
  doi          = {10.1145/1394272.1394275},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discotec/JanjicHY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/MartinsLS08,
  author       = {Rolando Martins and
                  Lu{\'{\i}}s M. B. Lopes and
                  Fernando M. A. Silva},
  editor       = {Hans P. Reiser},
  title        = {A peer-to-peer middleware platform for fault-tolerant, QoS, real-time
                  computing},
  booktitle    = {Proceedings of the 2nd workshop on Middleware-application interaction
                  - affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
                  Oslo, Norway, June 3, 2008},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1394272.1394274},
  doi          = {10.1145/1394272.1394274},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discotec/MartinsLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/RouvoyBE08,
  author       = {Romain Rouvoy and
                  Mika{\"{e}}l Beauvois and
                  Frank Eliassen},
  editor       = {Hans P. Reiser},
  title        = {Dynamic aspect weaving using a planning-based adaptation middleware},
  booktitle    = {Proceedings of the 2nd workshop on Middleware-application interaction
                  - affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
                  Oslo, Norway, June 3, 2008},
  pages        = {31--36},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1394272.1394280},
  doi          = {10.1145/1394272.1394280},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discotec/RouvoyBE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/discotec/SzatmariKR08,
  author       = {Zolt{\'{a}}n Szatm{\'{a}}ri and
                  Andr{\'{a}}s K{\"{o}}vi and
                  Manfred Reitenspie{\ss}},
  editor       = {Hans P. Reiser},
  title        = {Applying {MDA} approach for the {SA} forum platform},
  booktitle    = {Proceedings of the 2nd workshop on Middleware-application interaction
                  - affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
                  Oslo, Norway, June 3, 2008},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1394272.1394278},
  doi          = {10.1145/1394272.1394278},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/discotec/SzatmariKR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BejleriY09,
  author       = {Andi Bejleri and
                  Nobuko Yoshida},
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {Synchronous Multiparty Session Types},
  booktitle    = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  pages        = {3--33},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.002},
  doi          = {10.1016/J.ENTCS.2009.06.002},
  timestamp    = {Thu, 09 Mar 2023 13:43:51 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BejleriY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Carbone09,
  author       = {Marco Carbone},
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {Session-based Choreography with Exceptions},
  booktitle    = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  pages        = {35--55},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.003},
  doi          = {10.1016/J.ENTCS.2009.06.003},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Carbone09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CogumbreiroMV09,
  author       = {Tiago Cogumbreiro and
                  Francisco Martins and
                  Vasco Thudichum Vasconcelos},
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {Compiling the pi-calculus into a Multithreaded Typed Assembly Language},
  booktitle    = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  pages        = {57--84},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.004},
  doi          = {10.1016/J.ENTCS.2009.06.004},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CogumbreiroMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HirschkoffPHHP09,
  author       = {Daniel Hirschkoff and
                  Aur{\'{e}}lien Pardon and
                  Tom Hirschowitz and
                  Samuel Hym and
                  Damien Pous},
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {Encapsulation and Dynamic Modularity in the pi-calculus},
  booktitle    = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  pages        = {85--100},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.005},
  doi          = {10.1016/J.ENTCS.2009.06.005},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HirschkoffPHHP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HondaVY09,
  author       = {Kohei Honda and
                  Vasco Thudichum Vasconcelos and
                  Nobuko Yoshida},
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {Type-Directed Compilation for Multicore Programming},
  booktitle    = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  pages        = {101--111},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.006},
  doi          = {10.1016/J.ENTCS.2009.06.006},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HondaVY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PuglieseTY09,
  author       = {Rosario Pugliese and
                  Francesco Tiezzi and
                  Nobuko Yoshida},
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {A Symbolic Semantics for a Calculus for Service-Oriented Computing},
  booktitle    = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  pages        = {135--164},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.008},
  doi          = {10.1016/J.ENTCS.2009.06.008},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PuglieseTY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Puntigam09,
  author       = {Franz Puntigam},
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {Synchronization as a Special Case of Access Control},
  booktitle    = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  pages        = {113--133},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.007},
  doi          = {10.1016/J.ENTCS.2009.06.007},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Puntigam09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VasconcelosY09,
  author       = {Vasco Thudichum Vasconcelos and
                  Nobuko Yoshida},
  editor       = {Vasco T. Vasconcelos and
                  Nobuko Yoshida},
  title        = {Preface},
  booktitle    = {Proceedings of the First Workshop on Programming Language Approaches
                  to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
                  2008, Oslo, Norway, June 7, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {241},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.06.001},
  doi          = {10.1016/J.ENTCS.2009.06.001},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VasconcelosY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/discotec/2008mai,
  editor       = {Hans P. Reiser},
  title        = {Proceedings of the 2nd workshop on Middleware-application interaction
                  - affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
                  Oslo, Norway, June 3, 2008},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1394272},
  doi          = {10.1145/1394272},
  isbn         = {978-1-60558-204-7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/discotec/2008mai.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.