An Algebraic Approach to File Synchronization

DSpace/Manakin Repository

An Algebraic Approach to File Synchronization

Citable link to this page


Title: An Algebraic Approach to File Synchronization
Author: Ramsey, Normal; Csirmaz, Elod

Note: Order does not necessarily reflect citation order of authors.

Citation: Ramsey, Norman and Elöd Csirmaz. 2001. An Algebraic Approach to File Synchronization. Harvard Computer Science Group Technical Report TR-05-01.
Full Text & Related Files:
Abstract: We 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.
Terms of Use: This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at
Citable link to this page:
Downloads of this work:

Show full Dublin Core record

This item appears in the following Collection(s)


Search DASH

Advanced Search