|
CapTP: |
||||||
Of course, to implement the Granovetter diagram for all cases, we must deal with the case where Alice, Bob, and Carol are on three separate machines. However, we can do this mostly by layering the three-vat protocol on top of the protocol presented here. CapTP directly provides mechanisms for support of remote object messages between a pair of machines. The protocol needed to do a three-vat Granovetter introduction is then implemented out of such pairwise object messages. The 2-vat protocol provides the following special mechanism to support this next layer:
-
XXX to be written
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
|
|
report bug (including invalid html)
|
||||||||
