Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Handbook of theoretical computer science (vol. B)
An integrating, transformation-oriented approach to concurrency control and undo in group editors
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
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)
Operation transforms for a distributed shared spreadsheet
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Copies convergence in a distributed real-time collaborative environment
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Consistency maintenance in real-time collaborative graphics editing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
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)
Generalizing operational transformation to the standard general markup language
CSCW '02 Proceedings of the 2002 ACM conference on Computer supported cooperative work
Concurrent Operations in a Distributed and Mobile Collaborative Environment
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Using the transformational approach to build a safe and generic data synchronizer
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
The ToxicFarm Integrated Cooperation Framework for Virtual Teams
Distributed and Parallel Databases
Mobile databases: a selection of open issues and research directions
ACM SIGMOD Record
Preserving operation effects relation in group editors
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
A safe and generic model for synchronizing divergent data
UbiMob '04 Proceedings of the 1st French-speaking conference on Mobility and ubiquity computing
Concept and prototype of a collaborative business process environment for document processing
Data & Knowledge Engineering - Special issue: Collaborative business process technologies
Consistency maintenance based on the mark & retrace technique in groupware systems
GROUP '05 Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work
A landmark-based transformation approach to concurrency control in group editors
GROUP '05 Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work
Formal design and verification of operational transformation algorithms for copies convergence
Theoretical Computer Science - Algebraic methodology and software technology
Operation context and context-based operational transformation
CSCW '06 Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work
Exploiting schemas in data synchronization
Journal of Computer and System Sciences
Decentralized concurrency control for real-time collaborative editors
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
An Operational Transformation Algorithm and Performance Evaluation
Computer Supported Cooperative Work
An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors
Computer Supported Cooperative Work
Multi-level Editing of Hierarchical Documents
Computer Supported Cooperative Work
Coordination Model for Real-Time Collaborative Editors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
On Model-Checking Optimistic Replication Algorithms
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems
Computer Supported Cooperative Work
Deep hypertext with embedded revision control implemented in regular expressions
Proceedings of the 6th International Symposium on Wikis and Open Collaboration
Symbolic model-checking of optimistic replication algorithms
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Evaluating CRDTs for real-time document editing
Proceedings of the 11th ACM symposium on Document engineering
Integrating synchronous and asynchronous interactions in groupware applications
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
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
Exhaustive search of puzzles in operational transformation
Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing
| Hi-index | 0.00 |
Operational transformation is an approach which allows to build real-time groupware tools. This approach requires correct transformation functions. Proving the correction of these transformation functions is very complex and error prone. In this paper, we show how a theorem prover can address this serious bottleneck. To validate our approach, we have verified the correctness of state-of-art transformation functions defined on Strings with surprising results. Counter-examples provided by the theorem prover have helped us to define new correct transformation functions for Strings.