Library Functions by Processes

Some systems are resourceful and can been seen as a rich environment. This paper presents an innovative way of establish process equivalence in such systems. A translation from a procedural programming language to the π-calculus is given. Programs can rely on a set of library functions we define. In this scenario, some very simple programs, or processes, when utilizing the powerful environment, can be equal to some very complex processes. Therefore, the way we handle process equivalence in powerful environment can shed new light on how to reduce the complexity of user processes and how the environment affects its client processes.