论文部分内容阅读
文中首先给出基于进程代数的LOTOS形式化规范语言的基本概念,通过对传统LOTOS进行基于时间的扩充,引入时间算子,并给出其相应的语法定义和形式语义.通过对分布式环境下的多媒体同步问题进行系统的分析,利用基于时间扩充的LOTOS,给出了基本的同步问题和严格的多媒体唇同步问题的算法描述.同时给出一个实例系统,进一步描述了基于时间扩充的LOTOS,对分布环境下多媒体信息同步问题在实际中的应用,并与传统方法进行了比较