Coordination Models and Languages

16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

  • Eva Kühn
  • Rosario Pugliese
Conference proceedings COORDINATION 2014

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

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

Table of contents

  1. Front Matter
    Pages 1-10
  2. Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma V. Monreale
    Pages 1-16
  3. Julio Cano, Gwenaël Delaval, Eric Rutten
    Pages 33-48
  4. Marco Carbone, Ornela Dardha, Fabrizio Montesi
    Pages 49-64
  5. Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab
    Pages 65-82
  6. Maxime Louvel, François Pacull
    Pages 83-98
  7. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
    Pages 99-114
  8. Dimitris Mostrous, Vasco Thudichum Vasconcelos
    Pages 115-130
  9. Rumyana Neykova, Nobuko Yoshida
    Pages 131-146
  10. Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
    Pages 147-162
  11. Mirko Viroli, Ferruccio Damiani
    Pages 163-178
  12. Kebin Zeng, Flemming Nielson, Hanne Riis Nielson
    Pages 179-193
  13. Back Matter
    Pages 195-195

About these proceedings


This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014. The 12 papers included in this volume were carefully reviewed and selected from 31 submissions. They deal with topics such as programming abstractions and languages, coordination models and paradigms, applied software engineering principles, specification and verification, foundations and types, distributed middleware architectures, multicore programming, collaborative adaptive systems, and coordination related use cases.


complex systems concurrency concurrent systems coordination languages distributed systems formal methods middleware multicore architectures multicore programming multiparty systems parallel architectures software engineering specification verification

Editors and affiliations

  • Eva Kühn
    • 1
  • Rosario Pugliese
    • 2
  1. 1.Vienna University of TechnologyViennaAustria
  2. 2.University of FlorenceFlorenceItaly

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-43375-1
  • Online ISBN 978-3-662-43376-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment