default search action
Search dblp for Publications
export results for "toc:db/conf/coordination/coordination2017.bht:"
@inproceedings{DBLP:conf/coordination/AudritoDV17, author = {Giorgio Audrito and Ferruccio Damiani and Mirko Viroli}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {59--77}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_4}, doi = {10.1007/978-3-319-59746-1\_4}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/coordination/AudritoDV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BaldanBL17, author = {Paolo Baldan and Alessandro Beggiato and Alberto Lluch{-}Lafuente}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Many-to-Many Information Flow Policies}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {159--177}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_9}, doi = {10.1007/978-3-319-59746-1\_9}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/coordination/BaldanBL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BarbaneraLd17, author = {Franco Barbanera and Ivan Lanese and Ugo de'Liguoro}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Retractable and Speculative Contracts}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {119--137}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_7}, doi = {10.1007/978-3-319-59746-1\_7}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BarbaneraLd17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BeekCHK17, author = {Maurice H. ter Beek and Josep Carmona and Rolf Hennicker and Jetty Kleijn}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Communication Requirements for Team Automata}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {256--277}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_14}, doi = {10.1007/978-3-319-59746-1\_14}, timestamp = {Thu, 09 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/coordination/BeekCHK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BernardiF17, author = {Giovanni Bernardi and Adrian Francalanza}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Full-Abstraction for Must Testing Preorders - (Extended Abstract)}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {237--255}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_13}, doi = {10.1007/978-3-319-59746-1\_13}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BernardiF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BliudzeSZ17, author = {Simon Bliudze and Alena Simalatsar and Alina Zolotukhina}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Constraint-Flow Nets: {A} Model for Building Constraints from Resource Dependencies}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {197--216}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_11}, doi = {10.1007/978-3-319-59746-1\_11}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BliudzeSZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/BrogiCS17, author = {Antonio Brogi and Andrea Canciani and Jacopo Soldani}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {178--196}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_10}, doi = {10.1007/978-3-319-59746-1\_10}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/BrogiCS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/DuranS17, author = {Francisco Dur{\'{a}}n and Gwen Sala{\"{u}}n}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Verifying Timed {BPMN} Processes Using Maude}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {219--236}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_12}, doi = {10.1007/978-3-319-59746-1\_12}, timestamp = {Mon, 28 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/DuranS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/GadducciMR17, author = {Fabio Gadducci and Hern{\'{a}}n C. Melgratti and Christian Rold{\'{a}}n}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {A Denotational View of Replicated Data Types}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {138--156}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_8}, doi = {10.1007/978-3-319-59746-1\_8}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/GadducciMR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/ImaiYY17, author = {Keigo Imai and Nobuko Yoshida and Shoji Yuen}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Session-ocaml: {A} Session-Based Library with Polarities and Lenses}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {99--118}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_6}, doi = {10.1007/978-3-319-59746-1\_6}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/coordination/ImaiYY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/KrauweelJ17, author = {Marco Krauweel and Sung{-}Shik T. Q. Jongmans}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Simpler Coordination of JavaScript Web Workers}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {40--58}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_3}, doi = {10.1007/978-3-319-59746-1\_3}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/KrauweelJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/LouvelPRS17, author = {Maxime Louvel and Fran{\c{c}}ois Pacull and {\'{E}}ric Rutten and Adja Ndeye Sylla}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Development Tools for Rule-Based Coordination Programming in {LINC}}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {78--96}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_5}, doi = {10.1007/978-3-319-59746-1\_5}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/LouvelPRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/NicolaDIT17, author = {Rocco De Nicola and Tan Duong and Omar Inverso and Catia Trubiani}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {AErlang: Empowering Erlang with Attribute-Based Communication}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {21--39}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_2}, doi = {10.1007/978-3-319-59746-1\_2}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/NicolaDIT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/Serugendo17, author = {Giovanna Di Marzo Serugendo}, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Spatial Edge Services - From Coordination Model to Actual Applications}, booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, pages = {3--17}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1\_1}, doi = {10.1007/978-3-319-59746-1\_1}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/Serugendo17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/coordination/2017, editor = {Jean{-}Marie Jacquet and Mieke Massink}, title = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10319}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59746-1}, doi = {10.1007/978-3-319-59746-1}, isbn = {978-3-319-59745-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/2017.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.