Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
Paolo Ciancarini, Chris Hankin
Springer, Apr 30, 1996 - Computers - 443 pages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Coordination as Constrained Interaction
an Adaptation of Linda for Coordination of Activities
22 other sections not shown
Other editions - View all
7r-calculus abstract abstract machine action active actors agora algorithm application approach architecture atomic behaviour binding bisimulation blackboard calculus communication component type composition Computer Science concurrent configuration constraints context COOLL coordination language coordination model Darwin David Gelernter defined definition denoted described distributed systems domain dynamic environment event example execution expression facilitator formal function Gamma programs goal graph graph rewriting group coordinator gzip higher-order implementation input instantiation integration interaction interaction machines interface IWIM KQML Linda logical machine Manifold matching Messenger multiple multiset Nepi node object spaces open systems operational semantics output parallel parameters performed ports primitives problem Proc process algebra program refinement programming languages Prolog properties reaction rules refinement request requirements result sequential server simulation specification structure subtype synchronization TCBS time-out tion ToolBus transition translation tuple space values variables