VOTE: Group editors analyzing tool

Electronic Notes in Theoretical Computer Science

Volumn 86, Issue 1, 2003, Pages 153-161

  Imine, Abdessamad ^a   Molli, Pascal ^a   Oster, Gérald ^a   Urso, Pascal ^b  

^a LORIA   (France)

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

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONCURRENT ENGINEERING; FILE EDITORS; FORMAL LOGIC; MATHEMATICAL MODELS; PROGRAM DOCUMENTATION; THEOREM PROVING;

CONCURRENT OPERATION; GROUP EDITORS; GROUPWARE SYSTEMS; TRANSFORMATION ALGORITHMS;

GROUPWARE;

EID: 18944376730     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80660-1     Document Type: Conference Paper

References (9)

1. Bouhoula A., Kounalis E., Rusinowitch M. Automated Mathematical Induction. Journal of Logic and Computation. 5:(5):1995;631-668
2. Ellis, C. A. and S. J. Gibbs, Concurrency Control in Groupware Systems, in: Proceedings of the ACM SIGMOD Conference on Management of Data (1989), pp. 399-407.
3. Matthias Ressel and Doris Nitsche-Ruhland and Rul 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.
4. 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 Janeiro, Brazil, 2002.
5. Pirri F., Reiter R. Some Contributions to the Metatheory of the Situation Calculus. Journal of the ACM. 46:(3):1999;325-361
6. Stratulat S. A General Framework to Build Contextual Cover Set Induction Provers. Journal of Symbolic Computation. 32:2001;403-445
7. 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.
8. 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
9. Wirsing M. Algebraic Specification. Handbook of Theoretical Computer Science (vol. B): Formal Models and Semantics. 1990;675-788