Skip to main content
SpringerLink
Log in

Coordination Models and Languages

9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Amy L. Murphy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Vitek
    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 4467)

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

Included in the following conference series:

Conference proceedings info: COORDINATION 2007.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Keywords

Table of contents (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Session 1. Middleware

    1. A Coordination Model for Triplespace Computing

      • Elena Simperl, Reto Krummenacher, Lyndon Nixon
      Pages 1-18

    2. Requirements for Routing in the Application Layer

      • Pamela Zave
      Pages 19-36

    3. Context-Aware Publish Subscribe in Mobile Ad Hoc Networks

      • Davide Frey, Gruia-Catalin Roman
      Pages 37-55

  3. Session 2. Logic Programming

    1. A Prolog-Based Language for Workflow Programming

      • Steve Gregory, Martha Paschali
      Pages 56-75

    2. Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications

      • John Field, Maria-Cristina Marinescu, Christian Stefansen
      Pages 76-95

  4. Session 3. Formal Approaches

    1. A Theory for Strong Service Compliance

      • Mario Bravetti, Gianluigi Zavattaro
      Pages 96-112

    2. Towards a Theory of Refinement in Timed Coordination Languages

      • Jean-Marie Jacquet, Isabelle Linden
      Pages 113-131

    3. A Calculus for Mobile Ad Hoc Networks

      • Jens Chr. Godskesen
      Pages 132-150

  5. Session 4. Concurrency

    1. A Theory of Nested Speculative Execution

      • Cristian ŢăpuÅŸ, Jason Hickey
      Pages 151-170

    2. Actors That Unify Threads and Events

      • Philipp Haller, Martin Odersky
      Pages 171-190

    3. Generalized Committed Choice

      • Joxan Jaffar, Roland H. C. Yap, Kenny Q. Zhu
      Pages 191-210

  6. Session 5. Components and Services I

    1. Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants

      • Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
      Pages 211-230

  7. Session 6. Manet

    1. Object-Oriented Coordination in Mobile Ad Hoc Networks

      • Tom Van Cutsem, Jessie Dedecker, Wolfgang De Meuter
      Pages 231-248

    2. Coordinating Workflow Allocation and Execution in Mobile Environments

      • Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher Gill
      Pages 249-267

    3. Fact Spaces: Coordination in the Face of Disconnection

      • Stijn Mostinckx, Christophe Scholliers, Eline Philips, Charlotte Herzeel, Wolfgang De Meuter
      Pages 268-285

  8. Session 7. Components and Services II

    1. Component Connectors with QoS Guarantees

      • Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon
      Pages 286-304

    2. Context-Based Adaptation of Component Behavioural Interfaces

      • Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
      Pages 305-323

  9. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Coordination Models and Languages

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation