Quasi-sequential Runs

An obvious generalization of a sequential run is a quasi-sequential run [ : n < ] , where each is obtained from by firing a collection of agents. We do not mean that is a team; since teams are agents, the definition of sequential runs does not exclude team moves. We mean that each makes a move at . If all agents are deterministic, then is the result of firing .

Quasi-sequential runs may arise, for example, if you order moves in real (physical) time.