Analyzing distributed commitment by reasoning about knowledge.
Mazer, Murray S; Lochovsky, Frederick H.
CRL-90-10
43 Pages
Back to Index