A PARALLEL VERSION OF THE MPEG-2 ENCODING ALGORITHM FORMALLY ANALYZED USING ALGEBRAIC SPECIFICATIONS Topics: Architecture and Protocols; MPEG Standards and Related Issues; Multimedia Security In Proceedings of the International Conference on Signal Processing and Multimedia Applications - Volume 0ICETE, 35-38, 2010 , University of Piraeus, Greece