Email Record: A process algebraic approach to software architecture design /