default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. COORDINATION 2000: Limassol, Cyprus
- António Porto, Gruia-Catalin Roman:
Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings. Lecture Notes in Computer Science 1906, Springer 2000, ISBN 3-540-41020-1
Regular Papers
Coordination Styles and Trends
- Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz
:
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces. 1-18 - Franz Achermann, Stefan Kneubuehl, Oscar Nierstrasz:
Scripting Coordination Styles. 19-35 - Robert Tolksdorf:
Coordination Technology for Workflows on the Web: Workspaces. 36-50
Tuple Space Semantics and Implementation
- Jeremy L. Jacob, Alan M. Wood:
A Principled Semantics for inp. 51-65 - Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron:
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. 66-80 - Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi:
On Timed Coordination Languages. 81-98
Coordination Policies
- Marco Cremonini, Andrea Omicini, Franco Zambonelli:
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach. 99-114 - Farhad Arbab, Éric Monfroy:
Distributed Splitting of Constraint Satisfaction Problems. 115-132 - Xuhui Ao, Naftaly H. Minsky, Thu D. Nguyen, Victoria Ungureanu:
Law-Governed Internet Communities. 133-147
Dynamics of Coordination
- Dan Hirsch, Paola Inverardi, Ugo Montanari:
Reconfiguration of Software Architecture Styles with Name Mobility. 148-163 - Prasanta K. Bose, Mark G. Matthews:
An Agent Mediated Approach to Dynamic Change in Coordination Policies. 164-181 - Stefan J. Johansson, Paul Davidsson, Bengt Carlsson:
Coordination Models for Dynamic Resource Allocation. 182-197
Mobility
- Masatomo Hashimoto, Akinori Yonezawa:
MobileML: A Programming Language for Mobile Computation. 198-215 - Mika Katara:
Hybrid Models for Mobile Computing. 216-231 - Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
Mobile Agents Coordination in Mobadtl. 232-248
Semantic Models
- Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
A Logical Interface Description Language for Components. 249-266 - Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
A Formalization of the IWIM Model. 267-283 - Rance Cleaveland, Xiaoqun Du, Scott A. Smolka:
GCCS: A Graphical Coordination Language for System Specification. 284-298
Short Papers
Shifting Linda Perspecives
- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
A Timed Linda Language. 299-304 - Enrico Denti, Andrea Omicini, Vladimiro Toschi:
The LuCe Coordination Technology for MAS Design and Development on the Internet. 305-310 - Iain Merrick, Alan Wood:
Scoped Coordination in Open Distributed Systems. 311-316
Directions in Software Architecture
- Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger:
Patterns for Coordination. 317-322 - Paola Inverardi, Henry Muccini:
Coordination Models and Software Architectures in a Unified Software Development Process. 323-328 - Stephen Barrett, Brendan Tangney:
Wilde: Supporting Change in Groupware. 329-334
Achieving Software Dependability
- Paul Dechering, Izak van Langevelde:
On the Verification of Coordination. 335-340 - Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez:
Guaranteeing Coherent Software Systems when Composing Coordinated Components. 341-346 - Joost N. Kok, Kaisa Sere:
Coordination-Based Design of Distributed Systems. 347-352
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-24 21:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
