Search dblp for Publications

export results for "toc:db/conf/coordination/coordination2017.bht:"

 download as .bib file

@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    = {Wed, 25 Sep 2019 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}
}
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.