Advertisement

Coordination Models and Languages

21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

  • Hanne  Riis Nielson
  • Emilio Tuosto
Conference proceedings COORDINATION 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11533)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11533)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Computational Models

    1. Front Matter
      Pages 1-1
    2. G. Michele Pinna
      Pages 3-18
    3. Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski
      Pages 19-36
    4. Wen Kokke, J. Garrett Morris, Philip Wadler
      Pages 37-53
    5. Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
      Pages 54-71
  3. Tools (1)

    1. Front Matter
      Pages 73-73
    2. Jean-Marie Jacquet, Manel Barkallah
      Pages 75-91
    3. Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
      Pages 92-108
  4. Exploring New Frontiers

    1. Front Matter
      Pages 109-109
    2. Rocco De Nicola, Tan Duong, Michele Loreti
      Pages 111-128
    3. Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
      Pages 148-157
  5. Coordination Patterns

    1. Front Matter
      Pages 159-159
    2. Simon Bliudze, Ludovic Henrio, Eric Madelaine
      Pages 161-181
    3. Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
      Pages 182-199
    4. Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
      Pages 200-217
  6. Tools (2)

    1. Front Matter
      Pages 219-219
    2. Agustín E. Martinez Suñé, Carlos G. Lopez Pombo
      Pages 221-236
    3. Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
      Pages 250-266
  7. Back Matter
    Pages 267-267

About these proceedings

Introduction

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.
The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.

Keywords

computation concurrency computation verification computer architecture concurrent programming languages distributed computer systems distributed programming languages formal language definitions formal methods and theory of security internet models of computation programming languages semantics software design software engineering software evaluation

Editors and affiliations

  1. 1.Technical University of DenmarkKongens LyngbyDenmark
  2. 2.Gran Sasso Science InstituteL’AquilaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-22397-7
  • Copyright Information IFIP International Federation for Information Processing 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-22396-0
  • Online ISBN 978-3-030-22397-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering