许多系统具有丰富的资源,可以被视作一个富有的环境。在进程演算的意义下,不同的后台进程决定了不同的环境。环境的能力可以被定义为这些后台进程所能提供的能力。一个自身具有一定能力来完成任务的进程,和一个虽然自己没有这样的能力,但却能在环境中搜索到这种能力,并利用环境提供的能力来完成相同任务的进程,应该是一样的。这与传统的进程等价关系不同。我们试图在这种情形下,研究进程等价,并探索环境对于用户进程的影响。本文介绍了一种从高级程序语言到∏-演算的翻译方法。∏-演算在此作为一种底层的机器语言。我们运用这一翻译思想,为程序语言定义了一组库函数进程。这些进程即作为系统的后台进程,为其他用户进程提供服务。库函数对系统的影响可以通过进程等价关系的改变体现。在这种情形下,一些非常简单的进程(换言之,程序)通过强大的环境提供的能力,可能与一些非常复杂的进程等价。因此,这种在富有环境下处理移动进程等价的方式可以有助于研究如何降低用户进程的复杂程度以及环境对其中的进程所产生的影响。