Computing Theory and Composabilty