Lamport processes can be started with a specified clock timestamp.