A Distributed Solution for Automatic Name Correspondence in Replicated Solid Modeling Systems | IEEE Conference Publication | IEEE Xplore