Denotational Semantics -- Mobile Processes and Termination -- An Action Semantics Based