A Process Algebraic Approach to Software Architecture Design - Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio; SpringerLink (Online service) (London : Springer London, 2010)
Keywords: Computer science; Computer system performance; Software engineering; Computer Science; Software Engineering; Software Engineering/Programming and Operating Systems; System Performance and Evaluation