论文部分内容阅读
在有关ｃｈｉ演算的基础上，用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系，即Ｌ－互模拟等价关系，证明了只有４个不同的Ｌ－互模拟等价，在包含关系下，它们构成钻石格。许多常见的互模拟等价都可定义的Ｌ－互模拟等价。
并发计算的元模型Ⅲ.互模拟格
【摘 要】
：
在有关ｃｈｉ演算的基础上，用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系，即Ｌ－互模拟等价关系，证明了只有４个不同的Ｌ－互模拟等价，在包含关系下，它们构成钻石格。许多常见的互模拟等价都可定
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
2000年6期
【基金项目】
：
国家自然科学基金!(69873032),国家863高科技!(863-306-ZT06-02-2)资助项目
其他文献
根据美国科学信息研究机构建立的SCI、EI、ISTP和中国科技部科技信息研究所建立的科技期刊索引提供的数据，统计、分析了上海交通大学10年来被SCI、EI、ISTP收录和在国内1 200
由于频繁闭序列在数量上要远小于频繁序列且与频繁序列有着相同的表达能力在近几年倍受关注．频繁闭序列挖掘过程中最耗时同时也是最关键的步骤是序列间的包容关系检查，作者分析
针对大量数据库的数据复制问题,提出了一种基于UD-Tree的复制架构RAUT(Replication Architecture based on UD-Tree in distributed databases).不同于已有的研究成果,RAUT采
卓勒萨依铅多金属矿区位于阿尔泰山南麓、准噶尔盆地北缘,隶属富蕴县管辖。卓勒萨依铅多金属矿主要赋存于泥盆系康布铁堡组的黑云母石英片岩中,属矽卡岩型矿床,区内圈定铁铅
以农用滴灌滴头的模具设计为例,介绍了使用Pro/ENGINEER、RP和RT技术设计制造模具的工艺过程.Pro/ENGINEER的应用能实现屏幕的三维显示,减少产品研制过程的迭代,加快产品的开
本文利用二维及M型超声对近年来我院收治的患有脑梗塞而无心脏病者98例中老年住院患者的心脏进行检测,旨在为老年病临床提供必要诊断参考的资料.