%0 Conference Paper
%B FACS - Formal Aspects of Component Software
%D 2012
%T Towards Linear Algebras of Components
%A H. Macedo
%A José Nuno Oliveira
%C Guimarães, Portugal
%I Springer
%P 300-303
%R 10.1007/978-3-642-27269-1_20
%S LNCS
%U http://link.springer.com/chapter/10.1007%2F978-3-642-27269-1_20
%V 6921
%X <p>We show that there is significant foundational work on what could lead to a linear algebra approach to software components. Should these be weighted automata or machines in the sense of Bloom, we show that there is a constructive, fully typed approach to such matrix models. However abstract or primitive these may look to practitioners, they promise the calculation style which is the hallmark of engineering disciplines.</p>
%8 October