Abstract: LOTOS is a formal specification language ,designed for the precise description of the open distributed system. LOTOS is based on process algebra model. Firstly, this paper gives some basic concepts of LOTOS. By introducing two time operators, the traditional LOTOS is extended and time\|based LOTOS’s syntax and formal semantics are described. Then, it performs a systematic analysis of the synchronization problem in the distributed multimedia system. Applying the time\|based LOTOS, the specification of the basic synchronization algorithm and the lip\|synchronization algorithm is proposed. Also, an example of the lip\|synchronization system is illustrated and compared with the traditional synchronization design methods.