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