【摘 要】
:
许多系统具有丰富的资源,可以被视作一个富有的环境。在进程演算的意义下,不同的后台进程决定了不同的环境。环境的能力可以被定义为这些后台进程所能提供的能力。一个自身具
论文部分内容阅读
许多系统具有丰富的资源,可以被视作一个富有的环境。在进程演算的意义下,不同的后台进程决定了不同的环境。环境的能力可以被定义为这些后台进程所能提供的能力。一个自身具有一定能力来完成任务的进程,和一个虽然自己没有这样的能力,但却能在环境中搜索到这种能力,并利用环境提供的能力来完成相同任务的进程,应该是一样的。这与传统的进程等价关系不同。我们试图在这种情形下,研究进程等价,并探索环境对于用户进程的影响。本文介绍了一种从高级程序语言到∏-演算的翻译方法。∏-演算在此作为一种底层的机器语言。我们运用这一翻译思想,为程序语言定义了一组库函数进程。这些进程即作为系统的后台进程,为其他用户进程提供服务。库函数对系统的影响可以通过进程等价关系的改变体现。在这种情形下,一些非常简单的进程(换言之,程序)通过强大的环境提供的能力,可能与一些非常复杂的进程等价。因此,这种在富有环境下处理移动进程等价的方式可以有助于研究如何降低用户进程的复杂程度以及环境对其中的进程所产生的影响。
其他文献
波普艺术是二十世纪艺术史上重要的艺术现象,是一场国际性运动。它产生于二十世纪五十年代的英国,却繁盛于美国。美国政府极力支持发展本土艺术样式,在此情境下,波普艺术随即
近几年来,动漫产业这个名词成为越来越多人热衷讨论的话题之一。不仅参与的人多,国家也在逐步的关注中不断加大投资与扶持的力度。一时间,动漫产业基地、高校开设的动画学科
<正>随着新课程改革的发展,识字、写字教学已越来越受到重视。具有较强的独立识字能力,良好识字、写字习惯以及写字的美感意识,不仅对学好语文,而且对终身学习,都是一笔极其
<正>近年来,随着人们自我保健意识的不断提高,胃镜、肠镜已被很多人纳入健康体检的常规项目。做胃镜、肠镜有哪些注意事项?拿到检查报告以后,该怎么看待其中包含的一些"看不
本文借鉴德国模拟公司培训模式,立足于中国职业教育的现实情况,系统探讨本土化的模拟公司教学实践的理论基础、教学目标、活动程序、师生角色、方法策略、评价标准、支持条件
<正>"洗澡洗太久会致癌,您知道吗?国家卫生研究院最近发表一份报告,自来水中的消毒物质经加温后挥发,吸入人体会致癌。调查显示,超过30分钟就有危险。热呼呼的洗澡水不停地往
本文针对内蒙古电网风电大规模入网的时间,研究了面临的主要问题:风电的随机性与波动性,对电网调整和调峰的影响;风电预测难度较大,无法进行中长期准确预测,导致电网运行方式
在当代艺术界和美学界,‘艺术死亡’,‘艺术的终结’,‘艺术史结束了’……这样的‘众声喧哗’,总是不绝于耳,绵绵不断。”“艺术终结”已经成为近年来国内外学术界讨论的一
目的:分析评价蒙脱石散、双歧杆菌四联活菌联合蓝光照射治疗新生儿黄疸疗效。方法:选取我院2013年1月-2013年12月间收治的新生儿黄疸患儿100例,随机分为治疗组和对照组,每组
本文以山区高速公路为研究对象,分析了山区特有的地质、地貌生态环境特征,总结了高速公路在山区修建的独特性,研究了山区高速公路的修建对沿线生态环境造成的影响,并按照公路