Oster, G., Urso, P., Molli, P., Imine, A., Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich), Environment for cooperation (ECOO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique T. et O.- S. et T. (UMR 6. (FEMTO-S., Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre Inria de l’Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), & Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS). (2006, November 4). Data Consistency for P2 P Collaborative Editing. Presented at the. CCSD; ACM Press, 2006. Retrieved from https:/ nria.hal.science nria-00108523

OSTER, Gérald, URSO, Pascal, MOLLI, Pascal, IMINE, Abdessamad, EIDGENÖSSISCHE TECHNISCHE HOCHSCHULE - SWISS FEDERAL INSTITUTE OF TECHNOLOGY [ZÜRICH] (ETH ZÜRICH), ENVIRONMENT FOR COOPERATION (ECOO), INRIA LORRAINE, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), COMBINATION OF APPROACHES TO THE SECURITY OF INFINITE STATES SYSTEMS (CASSIS), Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), UNIVERSITÉ DE TECHNOLOGIE DE BELFORT-MONTBELIARD (UTBM)-ECOLE NATIONALE SUPÉRIEURE DE MÉCANIQUE ET DES MICROTECHNIQUES (ENSMM)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ DE FRANCHE-COMTÉ (UFC), UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ [COMUE] (UBFC)-UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ [COMUE] (UBFC)-UNIVERSITÉ DE TECHNOLOGIE DE BELFORT-MONTBELIARD (UTBM)-ECOLE NATIONALE SUPÉRIEURE DE MÉCANIQUE ET DES MICROTECHNIQUES (ENSMM)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ DE FRANCHE-COMTÉ (UFC), UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ [COMUE] (UBFC)-UNIVERSITÉ BOURGOGNE FRANCHE-COMTÉ [COMUE] (UBFC)-CENTRE INRIA DE L’UNIVERSITÉ DE LORRAINE, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-DEPARTMENT OF FORMAL METHODS (LORIA - FM), LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (LORIA), INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRALESUPÉLEC-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRALESUPÉLEC-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-LABORATOIRE LORRAIN DE RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (LORIA) and INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRALESUPÉLEC-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-CENTRALESUPÉLEC-UNIVERSITÉ DE LORRAINE (UL)-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS), 2006. Data Consistency for P2 P Collaborative Editing. In: [online]. CCSD; ACM Press, 2006. 4 November 2006. Available from: https:/ nria.hal.science nria-00108523

Oster, G., P. Urso, P. Molli, A. Imine, Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich), Environment for cooperation (ECOO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique T. et O.- S. et T. (UMR 6. (FEMTO-S., Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre Inria de l’Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), and Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS). Data Consistency for P2 P Collaborative Editing. CCSD; ACM Press, 2006., 2006, https:/ nria.hal.science nria-00108523.

Oster, G., Urso, P., Molli, P., Imine, A., Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich), Environment for cooperation (ECOO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique T. et O.- S. et T. (UMR 6. (FEMTO-S., Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre Inria de l’Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) and Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Centrale Supélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS). (2006), “Data Consistency for P2 P Collaborative Editing”, in , Vol. , CCSD; ACM Press, 2006., available at: https:/ nria.hal.science nria-00108523.