| 2000 | A Formalization of the IWIM Model. Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
| 2000 | A Logical Interface Description Language for Components. Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
| 2000 | A Principled Semantics for inp. Jeremy L. Jacob, Alan M. Wood |
| 2000 | A Timed Linda Language. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2000 | An Agent Mediated Approach to Dynamic Change in Coordination Policies. Prasanta K. Bose, Mark G. Matthews |
| 2000 | Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings António Porto, Gruia-Catalin Roman |
| 2000 | Coordination Models and Software Architectures in a Unified Software Development Process. Paola Inverardi, Henry Muccini |
| 2000 | Coordination Models for Dynamic Resource Allocation. Stefan J. Johansson, Paul Davidsson, Bengt Carlsson |
| 2000 | Coordination Technology for Workflows on the Web: Workspaces. Robert Tolksdorf |
| 2000 | Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach. Marco Cremonini, Andrea Omicini, Franco Zambonelli |
| 2000 | Coordination-Based Design of Distributed Systems. Joost N. Kok, Kaisa Sere |
| 2000 | Distributed Splitting of Constraint Satisfaction Problems. Farhad Arbab, Éric Monfroy |
| 2000 | GCCS: A Graphical Coordination Language for System Specification. Rance Cleaveland, Xiaoqun Du, Scott A. Smolka |
| 2000 | Guaranteeing Coherent Software Systems when Composing Coordinated Components. Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez |
| 2000 | Hybrid Models for Mobile Computing. Mika Katara |
| 2000 | Law-Governed Internet Communities. Xuhui Ao, Naftaly H. Minsky, Thu D. Nguyen, Victoria Ungureanu |
| 2000 | Mobile Agents Coordination in Mob Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini |
| 2000 | MobileML: A Programming Language for Mobile Computation. Masatomo Hashimoto, Akinori Yonezawa |
| 2000 | On Timed Coordination Languages. Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi |
| 2000 | On the Verification of Coordination. Paul Dechering, Izak van Langevelde |
| 2000 | OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces. Stéphane Ducasse, Thomas Hofmann, Oscar Nierstrasz |
| 2000 | Patterns for Coordination. Luís Filipe Andrade, José Luiz Fiadeiro, João Gouveia, Antónia Lopes, Michel Wermelinger |
| 2000 | Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron |
| 2000 | Reconfiguration of Software Architecture Styles with Name Mobility. Dan Hirsch, Paola Inverardi, Ugo Montanari |
| 2000 | Scoped Coordination in Open Distributed Systems. Iain Merrick, Alan Wood |
| 2000 | Scripting Coordination Styles. Franz Achermann, Stefan Kneubuehl, Oscar Nierstrasz |
| 2000 | The LuCe Coordination Technology for MAS Design and Development on the Internet. Enrico Denti, Andrea Omicini, Vladimiro Toschi |
| 2000 | Wilde: Supporting Change in Groupware. Stephen Barrett, Brendan Tangney |