切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
具有真正并发语义的面向约束的实时进程代数
具有真正并发语义的面向约束的实时进程代数
来源 :江西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:hu8245
【摘 要】
:
对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。
【作 者】
:
曾国荪
周定康
【机 构】
:
江西师范大学计算机系
【出 处】
:
江西师范大学学报:自然科学版
【发表日期】
:
1999年2期
【关键词】
:
进程代数
实时系统
并发语义
实时进程代数
process algebrareal time systemconcurrency semanticsbisimu
【基金项目】
:
江西省一级科技计划项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。
其他文献
英语突降格及其语序意义的再现
突降法是英汉两种语言都十分常见的修辞格。它的最大特点是句子的前后语序不可颠倒。突降辞格的翻译不能套用一般的语序翻译原则。否则,辞格修辞效果就不可能再现出来。
期刊
突降法
幽默
语序
修辞
英语
anticlimax humor word order rhetoric
从中考命题看解直角三角形的应用
随着解直角三角形的应用在中考命题中的不断升温,命题形式也朝着多极化方向发展.常见的有以下题型:
期刊
解直角三角形
中考命题
应用
命题形式
多极化
烷酰基膦烷衍生物热分解反应的理论研究
用RHF/AM1方法研究了烷酰基膦烷衍生物的热分解反应机理,研究结果表明,反应所循的路先驱是经一个四元环过渡态,消去R^1R^2R^3P=O,生成炔烃的过程。
期刊
烷酰基膦烷
热分解
AM1方法
衍生物
炔烃
oxoethylidenephosphoranepyrolysisAM1 method
利用废聚苯乙烯泡沫塑料制备反光道路标志涂料的研究
以聚苯乙烯,不饱和聚酯树脂,白水泥,石油树脂,增塑剂及各种填料制得反光型道路标志涂料,介绍了路标准涂料的配方,生产工艺和施工方法,并对该涂料的粘度,干燥时间,硬度,流动度及压缩强度
期刊
聚苯乙烯
泡沫塑料
改性
路标涂料
PSF
废塑料
polyketoacid
polyquinoneFridelCrafts reactionsolution
外语基础阶段教学与语言实验室
【正】我院自建的两个主动型语言实验室自去年投入正式使用以来,几个语种(英、日、俄)都把这种电化教学设备作为低年级学生外语入门和基础阶段听说能力训练的重要手段。各语
期刊
语言实验室
基础阶段教学
外语
语种
教师
句型
听说能力训练
听力实践
纠音
听说课
话题作文审题指要
话题作文因“内容的宽泛性、心维的发敞性和文体的多样性”,表现出对考生的极大关怀和宽容,从某种程度上看,降低了审题的难度,给了考生更多自由发挥的空间。但是,这并不是说写话题
期刊
话题作文
审题
初三
语文
语文
写作指导
体育是构建社会主义和谐社会的纽带
在阐述和谐社会的内涵、体育与和谐社会的关系的基础上,从体育促进人的身心和谐发展,促进精神文明建设,创造财富促进经济协调发展,营造公平、公正的竞争气氛等方面,体现了体育在和
期刊
和谐社会
体育
纽带
功能
第二篇 中考题型分类解析——第一章 常用数学思想方法
用变量和函数来思考问题的方法就是函数思想,函数思想是函数概念、图象和性质等知识更高层次的提炼和概括,是在知识和方法反复学习运用中抽象出的带有观念的指导方法.在许多数学
期刊
中考题型
函数思想
数学思想方法
分类解析
复学
指导方法
函数概念
和函数
变量
主元
中国城市可持续发展现状及特色
可持续发展在现代文明的社会中,已成为全人类追求的共同目标,通过对中国城市的可持续发展现状的分析,针对中国实施可持续发展中存在的有利因素和不利因素,联系中国实际,提出了要坚
期刊
可持续发展
科教兴国战略
精神文明
中国
城市
sustainable developmentsocialist preliminary stag estrat
稀土改性SO^2—4/TiO2固体超强酸催化民水杨酸异戊酯
采用稀土改性SO^2-4/TiO2固体超强酸催化合成水杨酸异戊酯。结果表明,该种催化剂不但具有一般超强酸的性能,而且催化活性高,制备工艺简便,讨论了该种催化剂的制备条件以及反应条件对酯化反应
期刊
稀土
固体超强酸
酯化
水杨酸异戊酯
催化
改性
rare earthsolid super acidesterificationisoamyl salicyl
与本文相关的学术论文