A. Bouazza and P. Molli, Unifying coupled and uncoupled collaborative work in virtual teams, '2 000 w orkshop on collaborative editing systems, P hiladelphia, P ennsylvania, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099129

A. Bouhoula and M. Rusinowitch, Implicit induction in conditional theories, Journal of Automated Reasoning, vol.31, issue.2, pp.189-235, 1995.
DOI : 10.1007/BF00881856

URL : https://hal.archives-ouvertes.fr/inria-00074627

C. A. Ellis, S. J. Gibbs, and S. Ig-m-o-d-c-onference, Concurrency control in groupware systems, pp.399-407, 1989.

P. Molli, H. Skaf-molli, G. Oster, and S. Jourdain, SAMS: synchronous, asynchronous, multi-synchronous environments, The 7th International Conference on Computer Supported Cooperative Work in Design, 2002.
DOI : 10.1109/CSCWD.2002.1047653

URL : https://hal.archives-ouvertes.fr/inria-00107571

P. Padawitz, Swinging types=functions+relations+transition systems, Theoretical Computer Science, vol.243, issue.1-2, pp.93-165, 2000.
DOI : 10.1016/S0304-3975(00)00171-7

URL : http://doi.org/10.1016/s0304-3975(00)00171-7

. St, CN(n1,tn1)=Add