Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Coordination Models and Languages

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

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)

Conference series link(s): COORDINATION: International Conference on Coordination Models and Languages

Conference proceedings info: COORDINATION 2007.

Sections

Buy it 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

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

Table of contents (17 papers)

  1. Front Matter

    PDF

  2. Session 1. Middleware

    1. A Coordination Model for Triplespace Computing

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

    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

    PDF
Back to top

Other Volumes

  1. Coordination Models and Languages

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it 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

Search

Navigation