"A Process Algebraic Approach to Software Architecture Design" - читать интересную книгу автора (Alessandro Aldini, Marco Bernardo, Flavio Corradini)