Coordination Languages and Models : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. 1st ed. 1996

種類:

電子ブック

責任表示:

edited by Paolo Ciancarini, Chris Hankin

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996

著者名:

• Ciancarini, Paolo.
• Hankin, Chris.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 1061

ISBN:

9783540499367 [3540499369]    

注記:

Parallel multiset processing: From explicit coordination to chemical reaction -- Graph rewriting and constraint solving for modelling distributed systems with synchronization (extended abstract) -- Coordination as constrained interaction (extended abstract) -- The IWIM model for coordination of concurrent activities -- Sonia: An adaptation of Linda for coordination of activities in organizations -- The ToolBus coordination architecture -- Enhancing coordination and modularity mechanisms for a language with objects-as-multisets -- Towards a compositional method for coordinating Gamma programs -- Introducing a calculus for higher-order multiset programming -- ?2Log: Towards remote coordination -- A process algebra based on Linda -- Intra- and inter-object coordination with MESSENGERS -- Ariadne and HOPLa: Flexible coordination of collaborative processes -- Coordination in the ImpUnity framework -- Compiler correctness for concurrent languages -- A software environment for concurrent coordinated programming -- D
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.

ローカル注記:

学内専用E-BOOKS (local access only)