multimedia @ VU

---

[] readme titles system demo dlp vr slides resources

---

• S(C) → ^a S′
• S(C) →^a S′
• S(C) →^a S′

where a   ∈  A, and S  allows  C

---

[] readme titles system demo dlp vr slides resources

---