Operations of Worlds and Processes in an Operating System Supporting Speculative Processing