Mobile Processes with a distributed Environment