Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:conf/discotec:"
@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 = {Tue, 07 May 2024 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 = {Tue, 07 May 2024 01:00:00 +0200}, 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} }
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.