This repository contains the sources of two papers on algebraic file synchronization and related scripts for automated proofs.
Directory p1 holds the latest source of the paper written as a Research Science Institute project and which formed the basis of:
Norman Ramsey and Elod Csirmaz. An Algebraic Approach to File Synchronization. In Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM Press, 2001. 175–185.
See https://csirmaz.github.io/algsyn.html for more and a PDF version, or download the PDF from the latest release at https://github.com/csirmaz/AlgebraicSyncPaper/releases/latest .
Directory p2 holds the latest source of a new paper that introduces a novel set of filesystem commands and presents rigorous proofs that update detection and reconciliation not only work as intended, but also cannot be improved on.
See https://csirmaz.github.io/algebraic-file-synchronization-2.html for more or read the paper on arXiv at https://arxiv.org/abs/1601.01736 . Alternatively, download the PDF from the latest release at https://github.com/csirmaz/AlgebraicSyncPaper/releases/latest .