related documents Differential Cost Analysis with Simultaneous Potentials and Anti-potentials Conference Proceeding RunTime-Assisted Convergence in Replicated Data Types Conference Proceeding