Skip to main content
SpringerLink
Log in

Coordination Models and Languages

14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Marjan Sirjani

    1. School of Computer Science, Reykjavik University, Reykjavik, Iceland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2012.

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

  1. Front Matter

    Download chapter PDF

  2. Statelets: Coordination of Social Collaboration Processes

    • Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong, Schahram Dustdar
    Pages 1-16

  3. A Social Software-Based Coordination Platform

    • Davide Rossi
    Pages 17-28

  4. Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing

    • Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux
    Pages 29-43

  5. Subobject Transactional Memory

    • Marko van Dooren, Dave Clarke
    Pages 44-58

  6. Partial Connector Colouring

    • Dave Clarke, José Proença
    Pages 59-73

  7. Using Coordinated Actors to Model Families of Distributed Systems

    • Ramtin Khosravi, Hamideh Sabouri
    Pages 74-88

  8. Scoped Synchronization Constraints for Large Scale Actor Systems

    • Peter Dinges, Gul Agha
    Pages 89-103

  9. First-Order Dynamic Logic for Compensable Processes

    • Roberto Bruni, Carla Ferreira, Anne Kersten Kauer
    Pages 104-121

  10. Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

    • Bogdan Aman, Gabriel Ciobanu
    Pages 122-136

  11. Recursive Advice for Coordination

    • MichaÅ‚ Terepeta, Hanne Riis Nielson, Flemming Nielson
    Pages 137-151

  12. Fluid Analysis of Foraging Ants

    • Mieke Massink, Diego Latella
    Pages 152-165

  13. Real-Time Coordination Patterns for Advanced Mechatronic Systems

    • Stefan Dziwok, Christian Heinzemann, Matthias Tichy
    Pages 166-180

  14. Group Orchestration in a Mobile Environment

    • Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten, Viviane Jonckers
    Pages 181-195

  15. Node Coordination in Peer-to-Peer Networks

    • Luigia Petre, Petter Sandvik, Kaisa Sere
    Pages 196-211

  16. Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

    • Mirko Viroli, Danilo Pianini, Jacob Beal
    Pages 212-229

  17. A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents

    • Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic, Michael Vögler, Stefan Craß
    Pages 230-244

  18. On the Realizability of Contracts in Dishonest Systems

    • Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
    Pages 245-260

  19. Types for Coordinating Secure Behavioural Variations

    • Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
    Pages 261-276

  20. 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 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 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

  • School of Computer Science, Reykjavik University, Reykjavik, Iceland

    Marjan Sirjani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation