Author:
Boucheneb Hanifa,Imine Abdessamad
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. Bérard, B., Bouyer, P., Petit, A.: Analysing the pgm protocol with uppaal. International Journal of Production Research 42(14), 2773–2791 (2004)
3. Boucheneb, H., Imine, A.: Experiments in model-checking optimistic replication algorithms. Research Report 6510, INRIA (April 2008)
4. Ellis, C.A., Gibbs, S.J.: Concurrency control in groupware systems. In: SIGMOD Conference, vol. 18, pp. 399–407 (1989)
5. Imine, A.: Conception formelle d’algorithmes de réplication optimiste. Vers l’édition Collaborative dans les réseaux Pair-à-Pair. Ph.d thesis, University of Henri Poincaré, Nancy, France (December 2006)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exhaustive Search and Resolution of Puzzles in OT Systems Supporting String-Wise Operations;Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing;2017-02-25
2. On Synthesizing a Consistent Operational Transformation Approach;IEEE Transactions on Computers;2015-04
3. Exhaustive search of puzzles in operational transformation;Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing;2014-02-15
4. Formal Verification of Operational Transformation;Lecture Notes in Computer Science;2014
5. On Consistency of Operational Transformation Approach;Electronic Proceedings in Theoretical Computer Science;2013-02-10