Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Eva Kühn

    1. Vienna University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rosario Pugliese

    1. University of Florence, Florence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: COORDINATION 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages 1-10
    Download chapter PDF

  2. Encoding Synchronous Interactions Using Labelled Petri Nets

    • Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma V. Monreale
    Pages 1-16

  3. Verifiable Decisions in Autonomous Concurrent Systems

    • Lenz Belzner
    Pages 17-32

  4. Coordination of ECA Rules by Verification and Control

    • Julio Cano, Gwenaël Delaval, Eric Rutten
    Pages 33-48

  5. Progress as Compositional Lock-Freedom

    • Marco Carbone, Ornela Dardha, Fabrizio Montesi
    Pages 49-64

  6. Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms

    • Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab
    Pages 65-82

  7. LINC: A Compact Yet Powerful Coordination Environment

    • Maxime Louvel, François Pacull
    Pages 83-98

  8. Safe and Efficient Data Sharing for Message-Passing Concurrency

    • Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
    Pages 99-114

  9. Affine Sessions

    • Dimitris Mostrous, Vasco Thudichum Vasconcelos
    Pages 115-130

  10. Multiparty Session Actors

    • Rumyana Neykova, Nobuko Yoshida
    Pages 131-146

  11. Typing Liveness in Multiparty Communicating Systems

    • Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
    Pages 147-162

  12. A Calculus of Self-stabilising Computational Fields

    • Mirko Viroli, Ferruccio Damiani
    Pages 163-178

  13. The Stochastic Quality Calculus

    • Kebin Zeng, Flemming Nielson, Hanne Riis Nielson
    Pages 179-193

  14. Back Matter

    Pages 195-195
    Download chapter PDF
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

About this book

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.

Editors and Affiliations

  • Vienna University of Technology, Vienna, Austria

    Eva Kühn

  • University of Florence, Florence, Italy

    Rosario Pugliese

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

  • DOI: https://doi.org/10.1007/978-3-662-43376-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2014

  • Softcover ISBN: 978-3-662-43375-1Published: 24 July 2014

  • eBook ISBN: 978-3-662-43376-8Published: 22 May 2014

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 195

  • Number of Illustrations: 69 b/w illustrations

  • Topics: Software Engineering, Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation