论文部分内容阅读
就分布式多媒体系统DMS中同步问题进行了分析与探讨,首先论述了形式化规范语言LOTOS的约定与基本概念,然后对其进行了基于时间的扩充,引入时间操作算子,确定了相应的语法定义和语义规则.通过基于时间扩充的LOTOS,对分布式环境下的多媒体同步问题进行分析,给出了一种复杂的多媒体严格同步系统和具体的算法描述.