Author of the publication

Typing the Behavior of Objects and Component Using Session Types.

, , and . Electron. Notes Theor. Comput. Sci., 68 (3): 439-456 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Un Marco Conceptual para la Definición y Explotación de Métricas de Calidad., , , , , and . JISBD, page 189-200. (2002)A Linda-based platform for the parallel execution of out-place model transformations., , and . Information & Software Technology, (2016)Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture., , , , , and . Sci. Comput. Program., (2014)The Reference Model of Open Distributed Processing: Foundations, experience and applications., , , , and . Computer Standards & Interfaces, 35 (3): 247-256 (2013)Modeling ODP Correspondences using QVT., , and . MDEIS, page 15-26. INSTICC Press, (2006)Modeling the ODP Computational Viewpoint with UML 2.0., and . EDOC, page 169-180. IEEE Computer Society, (2005)Well-formed Rules for Viewpoint Correspondences Specification., and . EDOCW, page 441-443. IEEE Computer Society, (2008)On the Execution of ODP Computational Specifications., and . EDOC Workshops, page 34. IEEE Computer Society, (2006)Formalizing ODP Computational Viewpoint Specifications in Maude., and . EDOC, page 212-223. IEEE Computer Society, (2004)Teaching UML and OCL models and their validation to software engineering students: an experience report., , and . Computer Science Education, 28 (1): 23-41 (2018)