Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs131.bht:"
@inproceedings{DBLP:journals/corr/BaranovB13, author = {Eduard Baranov and Simon Bliudze}, editor = {Marco Carbone and Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova}, title = {Extended Connectors: Structuring Glue Operators in {BIP}}, booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {131}, pages = {20--35}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.131.3}, doi = {10.4204/EPTCS.131.3}, timestamp = {Fri, 27 Mar 2020 08:38:57 +0100}, biburl = {https://dblp.org/rec/journals/corr/BaranovB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BartolettiCGZ13, author = {Massimo Bartoletti and Tiziana Cimoli and Paolo Di Giamberardino and Roberto Zunino}, editor = {Marco Carbone and Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova}, title = {Contract agreements via logic}, booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {131}, pages = {5--19}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.131.2}, doi = {10.4204/EPTCS.131.2}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BartolettiCGZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/LangeS13, author = {Julien Lange and Alceste Scalas}, editor = {Marco Carbone and Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova}, title = {Choreography Synthesis as Contract Agreement}, booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {131}, pages = {52--67}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.131.6}, doi = {10.4204/EPTCS.131.6}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/LangeS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/PalmskogDLJ13, author = {Karl Palmskog and Mads Dam and Andreas Lundblad and Ali Jafari}, editor = {Marco Carbone and Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova}, title = {{ABS-NET:} Fully Decentralized Runtime Adaptation for Distributed Objects}, booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {131}, pages = {85--100}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.131.8}, doi = {10.4204/EPTCS.131.8}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PalmskogDLJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/PoyiasT13, author = {Kyriakos Poyias and Emilio Tuosto}, editor = {Marco Carbone and Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova}, title = {On Recovering from Run-time Misbehaviour in {ADR}}, booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {131}, pages = {68--84}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.131.7}, doi = {10.4204/EPTCS.131.7}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PoyiasT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Xu13a, author = {Xian Xu}, editor = {Marco Carbone and Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova}, title = {On Context Bisimulation for Parameterized Higher-order Processes}, booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {131}, pages = {37--51}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.131.5}, doi = {10.4204/EPTCS.131.5}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Xu13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/CarboneLLS13, editor = {Marco Carbone and Ivan Lanese and Alberto Lluch{-}Lafuente and Ana Sokolova}, title = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013, Florence, Italy, 6th June 2013}, series = {{EPTCS}}, volume = {131}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.131}, doi = {10.4204/EPTCS.131}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/CarboneLLS13.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.