Slides for the talk:

``A new mobile state protocol for Distributed Oz''

Mustapha Hadim and Peter Van Roy

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.

  1. Title
  2. Overview
  3. Basic concepts
  4. Basic mobile state protocol
  5. Mobile object
  6. Mobile object on two sites
  7. The problem and its solution
  8. The extended access structure
  9. Examples of local migrations
  10. Lazy construction of the tree
  11. Correctness proof
  12. The system invariant (1/2)
  13. The system invariant (2/2)
  14. Conclusions and perspectives