Abstract

A remote procedure call, abbreviated RPC, is a communication mechanism between distributed computers connected through a network, which provides an interface similar to a procedure call in a single computer. Cooper and Wadler proposed the RPC calculus which formalizes the remote procedure call in the framework of the lambda calculus. The RPC calculus is an extension of the call-by-value lambda calculus by adding the notion of location. In this paper, we give a call-by-name evaluation strategy to the RPC calculus and investigate theoretical properties of the call-by-name RPC calculus.