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

Carlos Gustavo Lpez Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum

Browse the full ICTAC paper archive.