A Process Algebraic Approach to Software Architecture Design

Book by Alessandro Aldini, Flavio Corradini, and Marco Bernardo