A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting

Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum. A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. In Gabriel Ciobanu, Dominique Méry, editors, Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Volume 8687 of Lecture Notes in Computer Science, pages 314-332, Springer, 2014. [doi]

Abstract

Abstract is missing.