A process algebraic approach to software architecture design - Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio (London : Springer, 2010)
Keywords: ARQUITECTURA DE PROGRAMAS PARA COMPUTADORAS; PROGRAMAS DE APLICACION; ALGEBRA -- PROCESAMIENTO DE DATOS; INGENIERÍA DE PROGRAMAS PARA COMPUTADORA