A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting
Title | A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | López Pombo, CG, Castro, PF, Aguirre, N, Maibaum, TSE |
Conference Name | Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings |
URL | http://dx.doi.org/10.1007/978-3-319-10882-7_19 |
DOI | 10.1007/978-3-319-10882-7_19 |
PDF (Full text):
Work Package:
WP5