Process algebraic foundations for an object-based design notation