Semantiske regler for tau-transisjonsisjoner i ¡­

Semantiske regler for tau-transisjonsisjoner i prosesser med eksternt valg falt ut fra forelesningen. Disse er n? kommet med p? transparent nr. 21. Dessuten er feilene i de andre reglene for eksternt valg rettet.