A Transformation-Based Method for Name Converge in Quiescent Context of Replicated Solid Modeling Systems | IEEE Conference Publication | IEEE Xplore