... \author¹

Partially supported by Spanish CICYT grant # TIC-98-1032-C03-03.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... \author²

Partially supported by the Spanish Research Council CICYT grant # TIC-98-1032-C03-01 and by the Madrid Regional Research Council grant number CAM-07T/0012/1998.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... \author³

Fabio Kon is supported in part by CAPES, Brazil, proc.# 1405/95-2.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... \author⁴

The Systems Research Group is supported by a grant from the National Science Foundation, NSF 98-70736.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... used⁵

Obtaining a complete implementation is a matter of adding a File class and adding file parameters to the read and write methods.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... see⁶

Calls to Open and Close have been supressed for the sake of simplicity.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... lock⁷

A single lock protecting the entire server. It must be gained prior to any server call and released right after every server call. Program instructions not calling the server can execute without locking the server.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... servers⁸

Servers not prepared to handle concurrent requests.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...go⁹

The go instruction is typical on Agent systems and is meant to trigger the migration of an agent to a different location.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.