Home
Editorial Board
Journal General Situation
Submission Guidance
Special Editorial
Excellent Thesis
Contact Us
中文版
Rapid Retrieval:
Article NO.
Chinese Title
English Title
Pin Yin Name
Real Name
Institution(In Chinese)
Institution(In English)
Chinese KeyWords
English KeyWords
Abstract(In Chinese)
Abstract(In English)
Fund Project(In Chinese)
引用本文:
【打印本页】
【下载PDF全文】
【
View/Add Comment
】
【EndNote】
【RefMan】
【BibTex】
←前一篇
|
后一篇→
过刊浏览
高级检索
本文已被：浏览
713
次 下载
867
次
分享到：
微信
更多
字体:
加大+
|
默认
|
缩小-
区间值进程演算的可加模型
周洁 陈仪香
1
上海师范大学数理信息学院,上海200234
摘要
:
进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．
关键词
:
进程演算 模糊区间逻辑 模糊区间值进程
DOI：
分类号
:
基金项目:
国家级基金
Abstract
:
Key words
:
Editorial BoardJournal General SituationSubmission GuidanceSpecial EditorialExcellent ThesisContact Us中文版
Editorial BoardJournal General SituationSubmission GuidanceSpecial EditorialExcellent ThesisContact Us中文版