publicações selecionadas artigo de revista A Calculus for Generic, QoS-Aware Component Composition. Mathematics in Computer Science. 2012