Title: Formal Distributed Multimedia Systems