Automatic detection of copies divergence in collaborative editing systems

Electronic Notes in Theoretical Computer Science

Volumn 80, Issue , 2003, Pages 92-108

  Imine, Abdessamad ^a   Urso, Pascal ^b  

^a LORIA   (France)

^b École Supérieure en Sciences Informatiques   (France)

Author keywords

Collaborative Editing Systems; Copies Convergence; Situation Calculus; Theorem Prover; Verification

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTER ARCHITECTURE; CONVERGENCE OF NUMERICAL METHODS; MATHEMATICAL TRANSFORMATIONS; THEOREM PROVING; TREES (MATHEMATICS); XML;

COLLABORATIVE EDITING SYSTEMS; COPIES CONVERGENCE; SITUATION CALCULUS; VERIFICATION;

COMPUTER SCIENCE;

EID: 18944406182     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80811-9     Document Type: Conference Paper

References (14)

1. Bouhoula A., Kounalis E., Rusinowitch M. Automated Mathematical Induction. Journal of Logic and Computation. 5:(5):1995;631-668
2. Ellis C.A., Gibbs S.J. Concurrency Control in Groupware Systems. 18:1989;399-407
3. Imine A., P. Molli, G. Oster and M. Rusinowitch, Development of Transformation Functions Assisted by a Theorem Prover, Fourth International Workshop on Collaborative Editing (ACM CSCW'02), Collaborative Computing in IEEE Distributed Systems Online (2002).
4. Imine A., P. Molli, G. Oster and M. Rusinowitch, Proving Correctness of Transformation Functions in Real-Time Groupware, in: accepted in 8th European Conference of Computer-supported Cooperative Work, Helsinki, Finland, 2003.
5. McCarthy J., Hayes P. Some Philosophical Problems from the Standpoint of the Artificial Intelligence. Machine Intelligence. 4:1969;463-502
6. Molli P., H. Skaf-Molli, G. Oster and S. Jourdain, SAMS: Synchronous, Asynchronous, Multi-Synchronous Environments, in: The Seventh International Conference on CSCW in Design, Rio de Janerio, Brazil, 2002.
7. Pinto J., "Temporal Reasoning in the Situation Calculus," Ph.D. thesis, Department of Computer Science, University of Toronto, Canada (1994).
8. Pirri F., Reiter R. Some Contributions to the Metatheory of the Situation Calculus. Journal of the ACM. 46:(3):1999;325-361
9. Ressel M., D. Nitsche-Ruhland and R. Gunzenhauser, An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors, in: Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'96), Boston, Massachusetts, USA, 1996, pp. 288-297.
10. Suleiman M., M. Cart and J. Ferrié, Concurrent Operations in a Distributed and Mobile Collaborative Environment, in: Proceedings of the Fourteenth International Conference on Data Engineering, February 23-27, 1998, Orlando, Florida, USA (1998), pp. 36-45.
11. Sun C., Jia X., Zhang Y., Yang Y., Chen D. Achieving Convergence, Causality-preservation and Intention-preservation in real-time Cooperative Editing Systems. ACM Transactions on Computer-Human Interaction (TOCHI). 5:1998;63-108
12. Terese. "Term Rewriting Systems" 2003;Cambridge University Press
13. Vidot N., M. Cart, J. Ferrié and M. Suleiman, Copies convergence in a distributed real-time collaborative environment, in: Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'00), Philadelphia, Pennsylvania, USA, 2000.
14. Wirsing M. Algebraic Specification. Handbook of theoretical computer science (vol. B): formal models and semantics. 1990;675-788