Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
An Algebraic Approach to File Synchronization (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 policies.
By contrast, previous work builds the conflict-resolution
policy into the specification, or worse, does not specify the
behavior formally.
We present several alternatives for conflict resolution, and we
address the knotty question of timestamps.