@inproceedings{imine:inria-00099986, TITLE = {{Deductive Verification of Distributed Groupware Systems}}, AUTHOR = {Imine, Abdessamad and Molli, Pascal and Oster, G{\'e}rald and Rusinowitch, Micha{\"e}l}, URL = {https://inria.hal.science/inria-00099986}, NOTE = {Colloque avec actes et comit{\'e} de lecture. nationale.}, BOOKTITLE = {{Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004}}, ADDRESS = {Stirling, Scotland, United Kingdom}, HAL_LOCAL_REFERENCE = {A04-R-187 || imine04a}, EDITOR = {Charles Rattray and Savitri Maharaj and Carron Shankland}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {3116}, PAGES = {226-240}, YEAR = {2004}, KEYWORDS = {algebraic specification ; formal verification ; distributed systems ; v{\'e}rification formelle ; syst{\`e}mes distribu{\'e}s ; transform{\'e}es op{\'e}rationnelles ; operational transformation ; sp{\'e}cification alg{\'e}brique}, HAL_ID = {inria-00099986}, HAL_VERSION = {v1}, }