Coordination Models and Languages

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

  • Editors
  • Amy L. Murphy
  • Jan Vitek
Conference proceedings COORDINATION 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4467)

Table of contents

  1. Front Matter
  2. Session 1. Middleware

    1. Elena Simperl, Reto Krummenacher, Lyndon Nixon
      Pages 1-18
    2. Davide Frey, Gruia-Catalin Roman
      Pages 37-55
  3. Session 2. Logic Programming

    1. Steve Gregory, Martha Paschali
      Pages 56-75
    2. John Field, Maria-Cristina Marinescu, Christian Stefansen
      Pages 76-95
  4. Session 3. Formal Approaches

    1. Mario Bravetti, Gianluigi Zavattaro
      Pages 96-112
    2. Jean-Marie Jacquet, Isabelle Linden
      Pages 113-131
    3. Jens Chr. Godskesen
      Pages 132-150
  5. Session 4. Concurrency

    1. Cristian Ţăpuş, Jason Hickey
      Pages 151-170
    2. Philipp Haller, Martin Odersky
      Pages 171-190
    3. Joxan Jaffar, Roland H. C. Yap, Kenny Q. Zhu
      Pages 191-210
  6. Session 5. Components and Services I

    1. Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
      Pages 211-230
  7. Session 6. Manet

    1. Tom Van Cutsem, Jessie Dedecker, Wolfgang De Meuter
      Pages 231-248
    2. Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher Gill
      Pages 249-267
    3. Stijn Mostinckx, Christophe Scholliers, Eline Philips, Charlotte Herzeel, Wolfgang De Meuter
      Pages 268-285
  8. Session 7. Components and Services II

    1. Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon
      Pages 286-304
    2. Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
      Pages 305-323
  9. Back Matter

About these proceedings

Keywords

Middleware algorithm algorithms concurrency distributed computing logic logic programming modularity programming

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-72794-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-72793-4
  • Online ISBN 978-3-540-72794-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book