Ramsey, NormalCsirmaz, Elod2015-12-072001Ramsey, Norman and Elöd Csirmaz. 2001. An Algebraic Approach to File Synchronization. Harvard Computer Science Group Technical Report TR-05-01.http://nrs.harvard.edu/urn-3:HUL.InstRepos:23853813We present a sound and complete proof system for reasoning about operations on filesystems. The proof system enables us to specify a file-synchronization algorithm that can be combined with several different conflict-resolution policy into the specification, or worse, does not specify the behavior formally. We present several alternative for conflict resolution, and we address the knotty question of timestamps.en-USResearch Paper or Report2015-12-07