Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15 17, 1996 Proceedings
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...
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
1061 |
| Teme: | |
| Online pristup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Bilješka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Coordination languages and models, proceedings, first International Conference COORDINATION '96, Cesena, Italy, April 15-17, 1996, 1996, Berlin, Springer, 1 vol. (XI-443 p.), Lecture notes in computer science, 3-540-61052-9 • Coordination Languages and Models, Texte imprimé, 9783662180617 |
| LEADER | 05313nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945165 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155216511 | ||
| 020 | |a 9783540499367 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Coordination Models and Languages |n (01 |d :1996 |c :Cesena, Italie). | |
| 245 | 1 | 0 | |a Coordination Languages and Models : |b First International Conference, COORDINATION '96 Cesena, Italy, April 15 17, 1996 Proceedings |c edited by Paolo Ciancarini, Chris Hankin. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1061 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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 -- Designing a coordination model for open systems -- CCE: A process-calculus based formalism for specifying multi-object coordination -- An extensible framework for the development of coordinated applications -- Broadcasting in time -- Semantics of a higher-order coordination language -- Solving the Linda multiple rd problem -- Coordinating distributed objects with declarative interfaces -- Coordinating services in open distributed systems with Laura -- Visifold: A visual environment for a coordination language -- ALWAN: A skeleton programming language -- Weaving the Web using coordination -- Investigating strategies for cooperative planning of independent agents through prototype evaluation -- A case study of integration of a software process management system with software engineeringenvironments for process monitoring and management -- Nepi: A network programming language based on the ?-calculus -- Modelling interoperability by CHAM: A case study -- Integrating coordination features in PVM -- A simulator framework for embedded systems -- Understanding behavior of business process models. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Traitement réparti | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ciancarini, Paolo, |d 1959- |4 pbd | |
| 700 | 1 | |a Hankin, Chris, |d 1954- |4 pbd | |
| 776 | 0 | |0 025086723 |t Coordination languages and models |o proceedings |f first International Conference COORDINATION '96, Cesena, Italy, April 15-17, 1996 |d 1996 |c Berlin |n Springer |p 1 vol. (XI-443 p.) |s Lecture notes in computer science |z 3-540-61052-9 | |
| 776 | 0 | |t Coordination Languages and Models |b Texte imprimé |z 9783662180617 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61052-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KB6MKGNP-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747913110 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61052-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750925884 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61052-9 |z Accès INSA CVL | |
| 997 | |0 945165 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||