期刊社
首页
编委会
期刊概况
投稿指导
优秀论文
联系我们
English
快速检索:
文章编号
中文标题
英文标题
作者英文名
作者中文名
单位中文名
单位英文名
中文关键词
英文关键词
中文摘要
英文摘要
基金项目
引用本文:
【打印本页】
【下载PDF全文】
【
查看/发表评论
】
【EndNote】
【RefMan】
【BibTex】
←前一篇
|
后一篇→
过刊浏览
高级检索
本文已被：浏览
712
次 下载
867
次
分享到：
微信
更多
字体:
加大+
|
默认
|
缩小-
区间值进程演算的可加模型
周洁 陈仪香
1
上海师范大学数理信息学院,上海200234
摘要
:
进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．
关键词
:
进程演算 模糊区间逻辑 模糊区间值进程
DOI：
分类号
:
基金项目:
国家级基金
Abstract
:
Key words
:
