Towards a Unified Approach to Encodability and Separation Results for Process Calculi