@conference {MO10c , title = {Towards Linear Algebras of Components}, booktitle = {FACS - Formal Aspects of Component Software }, series = {LNCS}, volume = {6921}, year = {2012}, month = {October }, pages = {300-303}, publisher = {Springer}, organization = {Springer}, address = {Guimar{\~a}es, Portugal}, abstract = {

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.

}, doi = {10.1007/978-3-642-27269-1_20}, url = {http://link.springer.com/chapter/10.1007\%2F978-3-642-27269-1_20}, author = {H. Macedo and Jos{\'e} Nuno Oliveira} }