P. A. Bernstein & N. Goodman (1983):
Multiversion concurrency control : theory and algorithms.
ACM Trans. Database Syst. 8,
pp. 465–483,
doi:10.1145/319996.319998.
H. Boucheneb & A. Imine (2009):
On Model-Checking Optimistic Replication Algorithms.
FMOODS/FORTE-LNCS 5522,
pp. 73–89,
doi:10.1007/978-3-642-02138-1_5.
H. Boucheneb, A. Imine & M. Najem (2010):
Symbolic Model-Checking of Optimistic Replication Algorithms.
IFM-LNCS 6396,
pp. 89–104,
doi:10.1007/978-3-642-16265-7_8.
F. Cassez, A. David, E. Fleury, K. G. Larsen & D. Limei (2005):
Efficient On-the-fly Algorithms for the Analysis of Timed Games.
CONCUR-LNCS 3653,
pp. 60–80,
doi:10.1007/11539452_9.
C. A. Ellis & S. J. Gibbs (1989):
Concurrency control in groupware systems.
In: SIGMOD Conference 18,
pp. 399–407,
doi:10.1145/67544.66963.
A. Imine, P. M., G. Oster & M. Rusinowitch (2003):
Proving correctness of transformation functions in real-time groupware.
In: ECSCW'03,
pp. 277 – 293,
doi:10.1007/978-94-010-0068-0_15.
A. Imine, M. Rusinowitch, G. Oster & P. Molli (2006):
Formal design and verification of operational transformation algorithms for copies convergence.
Theoretical Computer Science 351(2),
pp. 167–183,
doi:10.1016/j.tcs.2005.09.066.
G. Oster, P. Urso, P. Molli & A. Imine (2006):
Data consistency for P2P collaborative editing.
In: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work,
CSCW '06.
ACM,
New York, NY, USA,
pp. 259–268,
doi:10.1145/1180875.1180916.
N. Preguiça, J.M. Marques andM. Shapiro & M. Letia (2009):
A Commutative Replicated Data Type for Cooperative Editing.
In: 29th IEEE International Conference on Distributed Computing Systems (ICDCS '09),
pp. 395–403,
doi:10.1109/ICDCS.2009.20.
M. Ressel, D. Nitsche-Ruhland & R. Gunzenhauser (1996):
An integrating, transformation-oriented approach to concurrency control and undo in group editors.
In: ACM CSCW'96,
Boston, USA,
pp. 288–297,
doi:10.1145/240080.240305.
M. Suleiman, M. Cart & J. Ferrié (1997):
Serialization of concurrent operations in a distributed collaborative environment.
In: ACM GROUP'97,
pp. 435–445,
doi:10.1145/266838.267369.
M. Suleiman, M. Cart & J. Ferrié (1998):
Concurrent operations in a distributed and mobile collaborative Environment.
In: IEEE ICDE'98,
pp. 36–45,
doi:10.1109/ICDE.1998.655755.
C. Sun & C. Ellis (1998):
Operational transformation in real-time group editors: issues, algorithms, and achievements.
In: ACM CSCW'98,
pp. 59–68,
doi:10.1145/289444.289469.
C. Sun, X. Jia, Y. Zhang, Y. Yang & D. Chen (1998):
Achieving convergence, causality-preservation and intention-preservation in real-time cooperative editing systems.
ACM Trans. Comput.-Hum. Interact. 5(1),
pp. 63–108,
doi:10.1145/274444.274447.
D. Sun & C. Sun (2009):
Context-based Operational Transformation for Distributed Collaborative Editing Systems.
IEEE Trans. on Parallel and Distributed Systems 20(10),
pp. 1454–1470,
doi:10.1109/TPDS.2008.240.
N. Vidot, M. Cart, J. Ferrié & M. Suleiman (2000):
Copies convergence in a distributed real-time collaborative environment.
In: ACM CSCW'00,
pp. 171–180,
doi:10.1145/358916.358988.
S. Weiss, P. Urso & P. Molli (2009):
Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks.
In: 29th IEEE International Conference on Distributed Computing Systems, 2009. ICDCS '09,
pp. 404 –412,
doi:10.1109/ICDCS.2009.75.
S. Weiss, P. Urso & P. Molli (2010):
Logoot-Undo: Distributed Collaborative Editing System on P2P Networks.
IEEE Transactions on Parallel and Distributed Systems 21(8),
pp. 1162 –1174,
doi:10.1109/TPDS.2009.173.
eptcs@eptcs.org