RCS—a system for version control
Software—Practice & Experience
Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Oracle's symmetric replication technology and implications for application design
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
A flexible object merging framework
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
The dangers of replication and a solution
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Meaningful change detection in structured data
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Flexible update propagation for weakly consistent replication
Proceedings of the sixteenth ACM symposium on Operating systems principles
Serialization of concurrent operations in a distributed collaborative environment
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
ACM Transactions on Computer-Human Interaction (TOCHI)
Version models for software configuration management
ACM Computing Surveys (CSUR)
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
Software configuration management: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Copies convergence in a distributed real-time collaborative environment
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
The IceCube approach to the reconciliation of divergent replicas
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Consistency maintenance in real-time collaborative graphics editing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
ACM SIGSOFT Software Engineering Notes
A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Undo as concurrent inverse in group editors
ACM Transactions on Computer-Human Interaction (TOCHI)
Scalable Update Propagation in Epidemic Replicated Databases
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Concurrent Operations in a Distributed and Mobile Collaborative Environment
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
A Log Compression Algorithm for Operation-based Version Control Systems
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Optimistic Replication for Internet Data Services
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Proving correctness of transformation functions in real-time groupware
ECSCW'03 Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work
Flexible and safe resolution of file conflicts
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
The ToxicFarm Integrated Cooperation Framework for Virtual Teams
Distributed and Parallel Databases
ACM SIGGROUP Bulletin
Reconciliation service for copies synchronisation
UbiMob '04 Proceedings of the 1st French-speaking conference on Mobility and ubiquity computing
Formal design and verification of operational transformation algorithms for copies convergence
Theoretical Computer Science - Algebraic methodology and software technology
Component-Based Specification of Collaborative Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Customisable collaborative editing supporting the work processes of organisations
Computers in Industry - Special issue: Collaborative environments for concurrent engineering
Exploiting schemas in data synchronization
Journal of Computer and System Sciences
P2P logging and timestamping for XWiki
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
XWiki Concerto: A P2P Wiki System Supporting Disconnected Work
CDVE '08 Proceedings of the 5th international conference on Cooperative Design, Visualization, and Engineering
Multi-level Editing of Hierarchical Documents
Computer Supported Cooperative Work
P2P logging and timestamping for reconciliation
Proceedings of the VLDB Endowment
Coordination Model for Real-Time Collaborative Editors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems
Computer Supported Cooperative Work
Exploiting schemas in data synchronization
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Supporting customised collaboration over shared document repositories
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Towards synchronizing linear collaborative objects with operational transformation
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Toward undoing in composite web services
Architecting Dependable Systems III
Applying a theorem prover to the verification of optimistic replication algorithms
Rewriting Computation and Proof
Hi-index | 0.00 |
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge tools perform reconciliations. However, they do not define what is the correctness of their synchronisation. In this paper, we propose to use a transformational approach as the basic model for reasonning about synchronisation. We propose an algorithm and specific transformation functions that realize a file system synchronisation. Unlike classic synchronizers, our synchronizer ensures properties of convergence, causality and intention preservation and is extensible to new data types.