检索结果-维普期刊中文期刊服务平台

一种计算有限标号转移系统模拟关系的算法被引量：2: 1; 作者蔡烜郑一源《上海交通大学学报》 EI CAS CSCD 北大核心 2009年第11期1784-1787,共4页; 基于一般的有限标号转移系统,研究了进程演算中的模拟关系,提出了一个计算进程演算中模拟关系的算法,其时间复杂度为O(mn).; 关键词进程演算并发系统模拟关系标号转移系统算法; 在线阅读下载PDF 职称材料

鲁棒环境演算中的互模拟同余关系: 2; 作者陈韬略李斌 +1 位作者韩婷婷吕建《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期155-161,共7页; 　移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进———鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余... 展开更多; 关键词进程代数环境演算标号转移系统互模拟; 在线阅读下载PDF 职称材料

基于关系的最粗粒度划分问题的并行算法: 3; 作者霍红卫《计算机工程与科学》 CSCD 2000年第4期40-42,共3页; 关系最粗粒度的划分问题 RCPP在并发系统的验证方面起着重要的作用。本文提出了RCPP问题的一种有效的并行算法 ,其中假设标号转移系统中有 m个转移和 n个状态 ,利用 m/nε个CREW处理器算法所需的运行时间为 O( n1+ε) (对于任意固定的 ... 展开更多; 关键词最粗粒度划分问题并行算法标号转移系统; 在线阅读下载PDF 职称材料