A Process Algebraic Approach to Software Architecture Design - Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio (Springer London, 2010)
Keywords: Information Technology -- Software Engineering