1.Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
2.Then fundamental conceptions and algorithms on MPEG-4video coding are mainly described. Syntax and semantics of MPEG-4visual bitstream are analyzed,and then with an emphasis on the coding of vop,it presents the program flow of im-plementing the coding of vop.
