In a distributed system, the implementation of the procedure model is difficult.
Most designers have chosen to layer the procedure call interface on top of some other
method. Unfortunately, there is not yet an agreement on the semantics of a procedure
call, mostly because the desired semantics (precisely those of the single machine procedure
call) are fairly difficult to implement. Furthermore, as mentioned above, the