Dream types: a domain specific type system for component-based message-oriented middleware

Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, Jean-Bernard Stefani. Dream types: a domain specific type system for component-based message-oriented middleware. 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 2, ACM, 2005. [doi]

Authors

Philippe Bidinger

This author has not been identified. Look up 'Philippe Bidinger' in Google

Matthieu Leclercq

This author has not been identified. Look up 'Matthieu Leclercq' in Google

Vivien Quéma

This author has not been identified. Look up 'Vivien Quéma' in Google

Alan Schmitt

This author has not been identified. Look up 'Alan Schmitt' in Google

Jean-Bernard Stefani

This author has not been identified. Look up 'Jean-Bernard Stefani' in Google