Advertisement

© 2014

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
    PDF
  2. Encoding Synchronous Interactions Using Labelled Petri Nets
    Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma V. Monreale
    Pages 1-16
    PDF
  3. Verifiable Decisions in Autonomous Concurrent Systems
    Lenz Belzner
    Pages 17-32
    PDF
  4. Coordination of ECA Rules by Verification and Control
    Julio Cano, Gwenaël Delaval, Eric Rutten
    Pages 33-48
    PDF
  5. Progress as Compositional Lock-Freedom
    Marco Carbone, Ornela Dardha, Fabrizio Montesi
    Pages 49-64
    PDF
  6. Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms
    Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab
    Pages 65-82
    PDF
  7. LINC: A Compact Yet Powerful Coordination Environment
    Maxime Louvel, François Pacull
    Pages 83-98
    PDF
  8. Safe and Efficient Data Sharing for Message-Passing Concurrency
    Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
    Pages 99-114
    PDF
  9. Affine Sessions
    Dimitris Mostrous, Vasco Thudichum Vasconcelos
    Pages 115-130
    PDF
  10. Multiparty Session Actors
    Rumyana Neykova, Nobuko Yoshida
    Pages 131-146
    PDF
  11. Typing Liveness in Multiparty Communicating Systems
    Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
    Pages 147-162
    PDF
  12. A Calculus of Self-stabilising Computational Fields
    Mirko Viroli, Ferruccio Damiani
    Pages 163-178
    PDF
  13. The Stochastic Quality Calculus
    Kebin Zeng, Flemming Nielson, Hanne Riis Nielson
    Pages 179-193
    PDF
  14. Back Matter
    Pages 195-195
    PDF

About these proceedings

Introduction

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.

Keywords

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

  • Book Title Coordination Models and Languages
  • Book Subtitle 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
  • Editors Eva Kühn
    Rosario Pugliese
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect.Notes Computer
  • DOI https://doi.org/10.1007/978-3-662-43376-8
  • Copyright Information IFIP International Federation for Information Processing 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-662-43375-1
  • eBook ISBN 978-3-662-43376-8
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XIV, 195
  • Number of Illustrations 69 b/w illustrations, 0 illustrations in colour
  • Topics Software Engineering
    Logics and Meanings of Programs
    Software Engineering/Programming and Operating Systems
  • Buy this book on publisher's site