Mobile processes with local clocks