Publication: An Algebraic Approach to File Synchronization
Open/View Files
Date
2001
Authors
Published Version
Published Version
Journal Title
Journal ISSN
Volume Title
Publisher
The Harvard community has made this article openly available. Please share how this access benefits you.
Citation
Ramsey, Norman and Elöd Csirmaz. 2001. An Algebraic Approach to File Synchronization. Harvard Computer Science Group Technical Report TR-05-01.
Research Data
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.
Description
Other Available Sources
Keywords
Terms of Use
This article is made available under the terms and conditions applicable to Other Posted Material (LAA), as set forth at Terms of Service