The object table

Every process keeps a single object table mapping wire representation to their concrete objects or stubs.

    HashMap objTab= new HashMap();
Invariant:

If P has a network reference of object o owned by Q, then objTab.get(o.wrep) gives the concrete object reference on Q and a unique stub on P.


- 2 -