Errata on the arXiv version (which will be applied in the next revision)

Section 6, Definition 5: The subscripts μ in the translation of programs should be ν.
Section 7, Figure 5, rule IT-Event: Γ↑q_i should be Γ↑Ω_A(q_i) (where &Omega_A; is the priority function of A).

Errata on the arXiv version (which will be applied in the next revision) Section 6, Definition 5: The subscripts μ in the translation of programs should be ν. Section 7, Figure 5, rule IT-Event: Γ↑qi should be Γ↑ΩA(qi) (where &OmegaA; is the priority function of A).