Skip to main content
SpringerLink
Log in

Coordination Languages and Models

First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Paolo Ciancarini
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chris Hankin
    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 1061)

Included in the following conference series:

Conference proceedings info: COORDINATION 1996.

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

Access this book

Log in via an institution
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 (34 papers)

  1. Front Matter

    Download chapter PDF

  2. Parallel multiset processing: From explicit coordination to chemical reaction

    • Jean-Pierre Banâtre
    Pages 1-11

  3. Graph rewriting and constraint solving for modelling distributed systems with synchronization (extended abstract)

    • Ugo Montanari, Francesca Rossi
    Pages 12-27

  4. Coordination as constrained interaction (extended abstract)

    • Peter Wegner
    Pages 28-33

  5. The IWIM model for coordination of concurrent activities

    • Farhad Arbab
    Pages 34-56

  6. Sonia: An adaptation of Linda for coordination of activities in organizations

    • Mario Banville
    Pages 57-74

  7. The ToolBus coordination architecture

    • J. A. Bergstra, P. Klint
    Pages 75-88

  8. Enhancing coordination and modularity mechanisms for a language with objects-as-multisets

    • Stefania Castellani, Paolo Ciancarini
    Pages 89-106

  9. Towards a compositional method for coordinating Gamma programs

    • Michel Chaudron, Edwin de Jong
    Pages 107-123

  10. Introducing a calculus for higher-order multiset programming

    • David Cohen, Juarez Muylaert-Filho
    Pages 124-141

  11. μ2Log: Towards remote coordination

    • Koen De Bosschere, Jean-Marie Jacquet
    Pages 142-159

  12. A process algebra based on Linda

    • Rocco De Nicola, Rosario Pugliese
    Pages 160-178

  13. Intra- and inter-object coordination with MESSENGERS

    • Munehiro Fukuda, Lubomir F. Bic, Michael B. Dillencourt, Fehmina Merchant
    Pages 179-196

  14. Ariadne and HOPLa: Flexible coordination of collaborative processes

    • Gert Florijn, Timo Besamusca, Danny Greefhorst
    Pages 197-214

  15. Coordination in the ImpUnity framework

    • H. J. M. Goeman, J. N. Kok, K. Sere, R. T. Udink
    Pages 215-230

  16. Compiler correctness for concurrent languages

    • David S. Gladstein, Mitchell Wand
    Pages 231-248

  17. A software environment for concurrent coordinated programming

    • A. A. Holzbacher
    Pages 249-266

  18. Designing a coordination model for open systems

    • Thilo Kielmann
    Pages 267-284

  19. CCE: A process-calculus based formalism for specifying multi-object coordination

    • Manibrata Mukherji, Dennis Kafura
    Pages 285-304

  20. An extensible framework for the development of coordinated applications

    • Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
    Pages 305-320
Back to top

Other volumes

  1. Coordination Languages and Models

Keywords

About this book

This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new class of models, formalisms, and mechanisms for describing concurrent and distributed computations has emerged. A characteristic feature of these coordination languages and models is that they are based on (generative) communication via a shared data space. The 21 revised full papers presented were selected from a total of 78 submissions; also included are three invited papers and 10 posters. All in all, these papers report the state of the art in this young and active area of research and development.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation