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
- 著者名:
- シリーズ名:
- 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)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |