1. A Formal Approach to Component Adaptation;Bracciali;Journal of Systems and Software,2005
2. Formalizing Web Service Choreographies;Brogi;Electronic Notes in Theoretical Computer Science,2004
3. Camara, J., C. Canal and J. Cubo, Issues in the formalization of Web Service Orchestrations, in: Second International Workshop on Coordination and Application Techniques for Software Entities (WCAT'05)(in press), 2005
4. Adding Roles to CORBA Objects;Canal;IEEE Transactions on Software Engineering,2003