Skip to main content
SpringerLink
Log in
Book cover

Coordination Models and Languages

15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Rocco Nicola

    1. IMT - Institute for Advanced Studies Lucca, Lucca, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christine Julien

    1. The University of Texas at Austin, Austin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2013.

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 (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Stochastic Process Algebra and Stability Analysis of Collective Systems

    • Luca Bortolussi, Diego Latella, Mieke Massink
    Pages 1-15

  3. Modelling MAC-Layer Communications in Wireless Systems

    • Andrea Cerone, Matthew Hennessy, Massimo Merro
    Pages 16-30

  4. Coordinating Phased Activities while Maintaining Progress

    • Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
    Pages 31-44

  5. Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

    • Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
    Pages 45-59

  6. Pattern Matching and Bisimulation

    • Thomas Given-Wilson, Daniele Gorla
    Pages 60-74

  7. Component-Based Autonomic Managers for Coordination Control

    • Soguy Mak Karé Gueye, Noël de Palma, Eric Rutten
    Pages 75-89

  8. Multi-threaded Active Objects

    • Ludovic Henrio, Fabrice Huet, Zsolt István
    Pages 90-104

  9. Scheduling Open-Nested Transactions in Distributed Transactional Memory

    • Junwhan Kim, Roberto Palmieri, Binoy Ravindran
    Pages 105-120

  10. Peer-Based Programming Model for Coordination Patterns

    • Eva Kühn, Stefan Craß, Gerson Joskowicz, Alexander Marek, Thomas Scheller
    Pages 121-135

  11. Decidability Results for Dynamic Installation of Compensation Handlers

    • Ivan Lanese, Gianluigi Zavattaro
    Pages 136-150

  12. Probabilistic Modular Embedding for Stochastic Coordinated Systems

    • Stefano Mariani, Andrea Omicini
    Pages 151-165

  13. ByteSTM: Virtual Machine-Level Java Software Transactional Memory

    • Mohamed Mohamedin, Binoy Ravindran, Roberto Palmieri
    Pages 166-180

  14. The Future of a Missed Deadline

    • Behrooz Nobakht, Frank S. de Boer, Mohammad Mahdi Jaghoori
    Pages 181-195

  15. Event Loop Coordination Using Meta-programming

    • Laure Philips, Dries Harnie, Kevin Pinte, Wolfgang De Meuter
    Pages 196-210

  16. Interactive Interaction Constraints

    • José Proença, Dave Clarke
    Pages 211-225

  17. Towards Distributed Reactive Programming

    • Guido Salvaneschi, Joscha Drechsler, Mira Mezini
    Pages 226-235

  18. Typing Progress in Communication-Centred Systems

    • Hugo Torres Vieira, Vasco Thudichum Vasconcelos
    Pages 236-250

  19. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).
The 17 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.

Editors and Affiliations

  • IMT - Institute for Advanced Studies Lucca, Lucca, Italy

    Rocco Nicola

  • The University of Texas at Austin, Austin, USA

    Christine Julien

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation