Report - A Logic Your Typechecker Can Count On: Unordered Tree ...jnfoster/papers/dtts-slides.pdf · Pre-/post-process replicas using bi-directional programs. I Facilitates heterogeneous synchronization.

Please pass captcha verification before submit form