Aldini, Alessandro. A process algebraic approach to software architecture design [electronic resource] / by Alessandro Aldini, Marco Bernardo, Flavio Corradini. - London : Springer-Verlag London Limited, 2010. - xv, 304 p. : ill., digital ; 25 cm. ISBN: 9781848002234 (electronic bk.) 9781848002227 (paper) Subjects--Topical Terms: Software architecture.Computer Science.Software Engineering. LC Class. No.: QA76.754 / .A43 2010 Dewey Class. No.: 004