A type language for message passing component-based systems