| The paper deals with the formal speciication of a general-purpose multimedia synchronization mechanism, known as the conditional delivery mechanism capable of addressing both intra-and inter-stream synchronization issues. The proposed mechanism, initially introduced in 3, 11], is based on the identiication of causal relations among information units of one or several streams and has the purpo...