More or less, with the addition that many people are running the computer in near lockstep allowing a consensus on the true global state of such a computer and

More or less, with the addition that many people are running the computer in near lockstep allowing a consensus on the true global state of such a computer and so for its execution to be trusted.