论文部分内容阅读
ＬＯＴＯＳ是一种基于进程代数ＣＣＳ的协议规范语言，面向协议验证，但它不能描述协议的某些性质。本文提出了一种ＬＯＴＯＳ的扩充语言ＥＬＯＴＯＳ，它在ＬＯＴＯＳ的基础上引入了异步通讯机制，时间描述，事件发生的随机描述。
协议形式化开发环境的规范语言
【摘 要】
：
ＬＯＴＯＳ是一种基于进程代数ＣＣＳ的协议规范语言，面向协议验证，但它不能描述协议的某些性质。本文提出了一种ＬＯＴＯＳ的扩充语言ＥＬＯＴＯＳ，它在ＬＯＴＯＳ的基础上引入了异步通讯机制，时间描述，事件发生的随机描述。
【机 构】
：
长沙工学院计算机系,410073
【出 处】
：
软件学报
【发表日期】
：
1997年11期
【基金项目】
：
国家自然科学基金,,国家863高科技项目
其他文献
如何提高大学英语教学质量是我们迫切需要解决的问题。现代多媒体技术的运用和发展使得大学英语教育逐步改变传统的教学模式，让教师与学生充分利用丰富的网络资源进行教学与自
分类指导和院校特色是文化素质教育发展到新阶段的新特点新要求。本文通过对外语院校实施文化素质教育的分析,提出推动文化素质教育需要注重特色、注重内涵、注重评价,走素质
摘 要：本文阐述了中华优秀传统文化在中职德育工作中的价值，分析了传统文化未能在中职生中入脑入心的原因，总结了吸取传统文化营养，开展德育教育的切入点和有益经验。对中职学校弘扬传统文化、创新德育工作方法和路径有一定的参考价值。 关键词：传统文化 中职学生 德育 中华传统文化博大精深，蕴含着丰富的做人做事的道理，是我们德育工作的重要思想源泉。2017年1月，中共中央办公厅、国务院办公厅印发的《关于实
高等教育大众化教育与精英教育都是社会发展所需的教育。本文在分析两种教育在分类上不同性质的基础上提出，要使二者协调发展，应明确两种教育不同的教育目标，承担不同的教育任务
本文在对当前高校思想政治教育工作的局限性进行了阐述的基础上，分析了构建高校全员思想政治教育机制的必要性，最后提出了构建高校全员思想政治教育机制，提高大学生思想政治教育
在市场经济和社会大环境的影响下,当前大学生呈现了新的特点,作为肩负育人重任的高校教师,要深入了解学生的变化,适时转变自己的工作理念、工作方法以适应学生的这种变化,更
提出了一个新的分配算法，它可以有效地分配一个给定的位的限额给任意不同的量化器集合。
高职院校的人文教育普遍“贫血”，教师的职业素质参差不齐，均亟待加强和完善。在高职院校中倡导人文精神时，应将加强人文教育与教师职业素质的完善相结合，通过教师高尚的道德鼓舞
本文讨论开放型物理系统的定性推理方法。文中阐述ＱＵＩＯＳ机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出ＱＵＩＯＳ的推理算法。