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âtel, Switzerland, June 19-22, 2017, Proceedings

  • Jean-Marie Jacquet
  • Mieke Massink
Conference proceedings COORDINATION 2017
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10319)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. Languages and Tools

    1. Front Matter
      Pages 19-19
    2. Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
      Pages 21-39
    3. Marco Krauweel, Sung-Shik T. Q. Jongmans
      Pages 40-58
    4. Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
      Pages 59-77
    5. Maxime Louvel, François Pacull, Eric Rutten, Adja Ndeye Sylla
      Pages 78-96
  4. Types

    1. Front Matter
      Pages 97-97
    2. Keigo Imai, Nobuko Yoshida, Shoji Yuen
      Pages 99-118
    3. Franco Barbanera, Ivan Lanese, Ugo de’Liguoro
      Pages 119-137
    4. Fabio Gadducci, Hernán Melgratti, Christian Roldán
      Pages 138-156
  5. Resource, Components and Information Flow

    1. Front Matter
      Pages 157-157
    2. Paolo Baldan, Alessandro Beggiato, Alberto Lluch Lafuente
      Pages 159-177
    3. Antonio Brogi, Andrea Canciani, Jacopo Soldani
      Pages 178-196
    4. Simon Bliudze, Alena Simalatsar, Alina Zolotukhina
      Pages 197-216
  6. Verification

    1. Front Matter
      Pages 217-217
    2. Francisco Durán, Gwen Salaün
      Pages 219-236
    3. Giovanni Bernardi, Adrian Francalanza
      Pages 237-255
    4. Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
      Pages 256-277

About these proceedings

Introduction

This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.
The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.

Keywords

Computer Science Software engineering Computer software Distributed Systems Information Systems Programming languages Concurrency Models of computation Interactive computing Semantics Logic design Formal methods

Editors and affiliations

  1. 1.University of Namur NamurBelgium
  2. 2.CNR-ISTI PisaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-59746-1
  • Copyright Information IFIP International Federation for Information Processing 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-59745-4
  • Online ISBN 978-3-319-59746-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book