Coordination languages and models : 4th international conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings
This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for incr...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1906 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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, 4th international conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000, proceedings, António Porto, Gruia-Catalin Roman (eds.), 2000, New York, Springer, 1 vol. (IX-352 p.), Lecture notes in computer science, 3-540-41020-1 • Coordination Languages and Models, Texte imprimé, 9783662187883 |
Taula de continguts:
- Regular Papers
- OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
- Scripting Coordination Styles
- Coordination Technology for Workflows on the Web: Workspaces
- Regular Papers
- A Principled Semantics for inp
- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
- On Timed Coordination Languages
- Regular Papers
- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
- Distributed Splitting of Constraint Satisfaction Problems
- Law-Governed Internet Communities
- Regular Papers
- Reconfiguration of Software Architecture Styles with Name Mobility
- An Agent Mediated Approach to Dynamic Change in Coordination Policies
- Coordination Models for Dynamic Resource Allocation
- Regular Papers
- MobileML: A Programming Language for Mobile Computation
- Hybrid Models for Mobile Computing
- Mobile Agents Coordination in Mobadtl
- Regular Papers
- A Logical Interface Description Language for Components
- A Formalization of the IWIM Model
- GCCS: A Graphical Coordination Language for System Specification
- Short papers
- A Timed Linda Language
- The LuCe Coordination Technology for MAS Design and Development on the Internet
- Scoped Coordination in Open Distributed Systems
- Short papers
- Patterns for Coordination
- Coordination Models and Software Architectures in a Unified Software Development Process
- Wilde: Supporting Change in Groupware
- Short papers
- On the Verification of Coordination
- Guaranteing Coherent Software Systems when Composing Coordinated Components
- Coordination-Based Design of Distributed Systems.