Skip to main content
SpringerLink
Log in

Coordination Models and Languages

12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Dave Clarke

    1. Department of Computer Science, K.U.Leuven, Heverlee, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gul Agha

    1. Computer Science Department, University of Illinois, Urbana, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2010.

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

    Download chapter PDF

  2. Observables for Mobile and Wireless Broadcasting Systems

    • Jens Chr. Godskesen
    Pages 1-15

  3. Behavioural Contracts with Request-Response Operations

    • Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
    Pages 16-30

  4. NOW: A Workflow Language for Orchestration in Nomadic Networks

    • Eline Philips, Ragnhild Van Der Straeten, Viviane Jonckers
    Pages 31-45

  5. A Calculus for Boxes and Traits in a Java-Like Setting

    • Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer
    Pages 46-60

  6. JErlang: Erlang with Joins

    • Hubert Plociniczak, Susan Eisenbach
    Pages 61-75

  7. A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks

    • Andoni Lombide Carreton, Theo D’Hondt
    Pages 76-91

  8. Compositional Construction of Real-Time Dataflow Networks

    • Stephanie Kemper
    Pages 92-106

  9. Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks

    • Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
    Pages 107-121

  10. Simulation and Analysis of Distributed Systems in Klaim

    • Francesco Calzolai, Michele Loreti
    Pages 122-136

  11. Modelling Railway Interlocking Tables Using Coloured Petri Nets

    • Somsak Vanit-Anunchai
    Pages 137-151

  12. Efficient Session Type Guided Distributed Interaction

    • K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster
    Pages 152-167

  13. Scalable Efficient Composite Event Detection

    • K. R. Jayaram, Patrick Eugster
    Pages 168-182

  14. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Coordination Models and Languages

Keywords

Editors and Affiliations

  • Department of Computer Science, K.U.Leuven, Heverlee, Belgium

    Dave Clarke

  • Computer Science Department, University of Illinois, Urbana, USA

    Gul Agha

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation