Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees.

Adam J. Lee, Kazuhiro Minami, Marianne Winslett

Browse the full SACMAT paper archive.