The computation model on which static typing relies, only supports
synchronous communication. The simplest way to extend it to the
context of distributed systems is to serialize the processing.
A common way to do it on the client side is to use blocking I/O,
e.g. remote procedure call (RPC). This is the underlying default model
in CORBA [Vinoski93], i.e. the one used transparently, without making
distribution explicit.