ISCA 12th International Conference on Parallel and Distributed Computing Systems (PDCS 99), Ft. Lauderdale, Florida, Aug. 1999.
The protocol presented in this talk is an extension to the mobile state protocol implemented in the Mozart Programming System. The basic idea of the protocol is due to Per Brand and Peter Van Roy. The correctness proof and the transparencies are due to Peter Van Roy. The paper was written up by Mustapha Hadim.