Specification and design of component-based coordination systems by integrating coordination patterns

Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso. Specification and design of component-based coordination systems by integrating coordination patterns. In Gary T. Leavens, editor, Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005. pages 10, ACM, 2005. [doi]

Abstract

Abstract is missing.