Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez. Guaranteeing Coherent Software Systems when Composing Coordinated Components. In António Porto, Gruia-Catalin Roman, editors, Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings. Volume 1906 of Lecture Notes in Computer Science, pages 341-346, Springer, 2000. [doi]
Abstract is missing.