Formal design and verification of operational transformation algorithms for copies convergence
作者： Abdessamad Imine , Michaël Rusinowitch , Gérald Oster , Pascal Molli
DOI: 10.1016/J.TCS.2005.09.066
关键词: Computer science 、 Formal verification 、 Distributed computing 、 Convergence (routing) 、 Operational transformation 、 Algebraic number 、 Replication (computing) 、 Theoretical computer science 、 Order (business) 、 Algorithm 、 Algebraic specification 、 Collaborative software
摘要: … In this respect, Operational Transformation (OT) algorithms are applied for achieving … of OT algorithms with algebraic specifications. We show in particular that many OT algorithms in the …
acm.org
elsevier.com
sci-hub.se 参考文章(27)
Terese, Term Rewriting Systems ,(2003)
Pascal Molli, Michaël Rusinowitch, Gérald Oster, Imine Abdessamad, Development of Transformation Functions Assisted by a Theorem Prover Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002. ,(2002)
Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch, Proving correctness of transformation functions in real-time groupware european conference on computer supported cooperative work. pp. 277- 293 ,(2003) , 10.1007/978-94-010-0068-0_15
Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso, VOTE : Group Editors Analyzing Tool Electronic Notes in Theoretical Computer Science. ,vol. 86, pp. 153- 161 ,(2003) , 10.1016/S1571-0661(04)80660-1
P. Molli, H. Skaf-Molli, G. Oster, S. Jourdain, SAMS: synchronous, asynchronous, multi-synchronous environments computer supported cooperative work in design. pp. 80- 84 ,(2002) , 10.1109/CSCWD.2002.1047653
M. Suleiman, M. Cart, J. Ferrie, Concurrent operations in a distributed and mobile collaborative environment international conference on data engineering. pp. 36- 45 ,(1998) , 10.1109/ICDE.1998.655755
Clarence A Ellis, Simon J Gibbs, Gail Rein, None, Groupware: some issues and experiences Communications of The ACM. ,vol. 34, pp. 39- 58 ,(1991) , 10.1145/99977.99987
Michel Bidoit, Rolf Hennicker, Martin Wirsing, Behavioural and abstractor specifications european symposium on programming. ,vol. 25, pp. 149- 186 ,(1995) , 10.1016/0167-6423(95)00014-3
ADEL BOUHOULA, EMMANUEL KOUNALIS, MICHAËL RUSINOWITCH, Automated Mathematical Induction Journal of Logic and Computation. ,vol. 5, pp. 631- 668 ,(1995) , 10.1093/LOGCOM/5.5.631
Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine, Using the transformational approach to build a safe and generic data synchronizer international conference on supporting group work. pp. 212- 220 ,(2003) , 10.1145/958160.958194