An Algebraic Approach to File Synchronization
CitationRamsey, Norman and Elöd Csirmaz. 2001. An Algebraic Approach to File Synchronization. Harvard Computer Science Group Technical Report TR-05-01.
AbstractWe 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.
Citable link to this pagehttp://nrs.harvard.edu/urn-3:HUL.InstRepos:23853813
- FAS Scholarly Articles