@phdthesis{oster:tel-00010865, TITLE = {{R{\'e}plication optimiste et coh{\'e}rence des donn{\'e}es dans les environnements collaboratifs r{\'e}partis}}, AUTHOR = {Oster, G{\'e}rald}, URL = {https://theses.hal.science/tel-00010865}, SCHOOL = {{Universit{\'e} Henri Poincar{\'e} - Nancy I}}, YEAR = {2005}, MONTH = Nov, KEYWORDS = {Collaborative systems ; optimistic replication ; data consistency ; operational transformation ; formal verification ; Syst{\`e}mes collaboratifs ; r{\'e}plication optimiste ; coh{\'e}rence des donn{\'e}es ; transform{\'e}es op{\'e}rationnelles ; r{\'e}conciliation ; v{\'e}rification formelle}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00010865/file/tel-00010865.pdf}, HAL_ID = {tel-00010865}, HAL_VERSION = {v1}, }