形式描述技术LOTOS的实时扩展及应用

来源 :南方金属 | 被引量 : 0次 | 上传用户：jeff1986928

【摘要】

：

LOTOS(Language of Temporal Ordering Specification)是一种基于进程代数CCS的协议描述语言.这里提出LOTOS的实时扩展ET-LOTOS,是Timed LOTOS的增强版.它增加了时间控制的操

【作者】

：

李益昌

【机构】

：

嘉应学院

【出处】

：

南方金属

【发表日期】

：

2004年6期

【关键词】

：

FDT进程代数 LOTOS ET-LOTOS formal description technique process algebra LOTOS ET-L

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

LOTOS(Language of Temporal Ordering Specification)是一种基于进程代数CCS的协议描述语言.这里提出LOTOS的实时扩展ET-LOTOS,是Timed LOTOS的增强版.它增加了时间控制的操作器,对LOTOS的操作语义进行了实时的扩充,支持定量时间的观点,提高了形式方法的表达力.

其他文献

多哈亚运会向雅典奥运会看齐——电视国际公用信号制作标准浅析

多哈亚运会沿用了奥运会的电视信号制作模式．电视信号制作和转播更能够表现出卡塔尔办亚运会的国际化理念和开放的思维方式。本文介绍了多哈亚运会电视信号制作的核心理念和标

期刊

信号制作标准转播

硬盘广告素材播出和备播系统的实现

目前硬盘播出系统在各电视台的使用已比较普遍，但真正实现硬盘按广告素材播出的并不多见。这固然与用户对硬盘要实现广告按素材播出，联网是必须的所带来的顾虑有关，也与一旦实现

期刊

硬盘播出系统广告素材备播系统

数字化网络化时代电视中心技术格局战略调整思路

针对数字化，网络化带来的工作模式和业务流程的变革，本文提出了包括大新闻，大媒资，大播出，制作群，演播群在内的电视中心“三大两群”技术格局战略调整思路，以更好地实现资源共享化，成

期刊

电视中心三大两群技术格局网络化流程再造

PLC在X63WT型铣床中的应用

介绍三菱F1系列可编程序控制器在XT63型铣床中的应用. 在分析原有继电器控制原理图的基础上, 运用逻辑函数设计了梯形图软件. 在实际应用中取得了良好的效果.

期刊

X63WT型万能铣床PLC电力拖动可编程序控制器梯形图milling machinePLCengineering application

Slon磁选机分选攀钢铁矿的工业试验

赣州有色冶金研究所与攀钢选钛厂合作,应用Slon-1500立环脉动高梯度磁选机进行了微细粒级钛铁矿磁选-浮选流程中磁选部分的工业试验,当给矿品位为9.23% TiO2时,经一次磁选作

期刊

立环脉动高梯度磁选机回收率钛铁矿vertical ring pulsating high gradient magnetic separator rec

移动数字多媒体广播的研究进展

传统广播电视存在业务质量较差．业务单一等缺点．数字化已经成为传统模拟音视频广播发展趋势和出路。本文简要回顾了数字无线广播的发展历程，给出适用于30MHz-3000MHz频段的数字

期刊

移动多媒体广播DAB标准T-DMB标准DVB-H标准MediaFLO标准

形式描述技术LOTOS的实时扩展及应用

与本文相关的学术论文