{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T09:31:12Z","timestamp":1759483872652},"publisher-location":"Dordrecht","reference-count":14,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401039949"},{"type":"electronic","value":"9789401000680"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-94-010-0068-0_15","type":"book-chapter","created":{"date-parts":[[2011,4,4]],"date-time":"2011-04-04T23:28:39Z","timestamp":1301959719000},"page":"277-293","source":"Crossref","is-referenced-by-count":39,"title":["Proving Correctness of Transformation Functions in Real-Time Groupware"],"prefix":"10.1007","author":[{"given":"Abdessamad","family":"Imine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Molli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e9rald","family":"Oster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"Rusinowitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Davis, A. H., Sun, C. & Lu, J. (2002): \u2018Generalizing Operational Transformation to the Standard General Markup Language\u2019, in Proceedings of the 2002 ACM conference on Computer supported cooperative work, ACM Press, pp. 58\u201367."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1145\/66926.66963","volume":"18","author":"CA Ellis","year":"1989","unstructured":"Ellis, C. A. & Gibbs, S. J. (1989): \u2018Concurrency Control in Groupware Systems\u2019, in SIGMOD Conference, Vol. 18, pp. 399\u2013407.","journal-title":"SIGMOD Conference"},{"key":"15_CR3","unstructured":"Imine, A., Molli, P., Oster, G. & Rusinowitch, M. (2002): \u2018Development of Transformation Functions Assisted by a Theorem Prover\u2019, in Fourth International Workshop on Collaborative Editing, New Orleans, Louisiana, USA."},{"key":"15_CR4","unstructured":"Molli, P., Skaf-Molli, H., Oster, G. & Jourdain, S. (2002): \u2018SAMS: Synchronous, Asynchronous, Multi-synchronous Environments\u2019, in The Seventh International Conference on CSCW in Design, Rio de Janeiro, Brazil."},{"key":"15_CR5","unstructured":"Palmer, C. R. & Cormack, G. V. (1998): \u2018Operation Transforms for a Distributed Shared Spreadsheet\u2019, in Proceedings of the 1998 ACM Conference on Computer Supported Cooperative Work, ACM Press, pp. 69\u201378."},{"key":"15_CR6","unstructured":"Ressel, M., Nitsche-Ruhland, D. & Gunzenhauser, R. (1996): \u2018An Integrating, Transformation-oriented Approach to Concurrency Control and Undo in Group Editors\u2019, in Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW\u201996), Boston, Massachusetts, USA, pp. 288\u2013297."},{"issue":"4","key":"15_CR7","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1006\/jsco.2000.0469","volume":"32","author":"S Stratulat","year":"2001","unstructured":"Stratulat, S. (2001): \u2018A General Framework to Build Contextual Cover Set Induction Provers\u2019, Journal of Symbolic Computation 32(4), 403\u2013445.","journal-title":"Journal of Symbolic Computation"},{"key":"15_CR8","unstructured":"Suleiman, M., Cart, M. & Ferri\u00e9, J. (1997): \u2018Serialization of Concurrent Operations in a Distributed Collaborative Environment\u2019, in Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge (GROUP\u201997), ACM Press, pp. 435\u2013445."},{"key":"15_CR9","unstructured":"Suleiman, M., Cart, M. & Ferri\u00e9, J. (1998): \u2018Concurrent Operations in a Distributed and Mobile Collaborative Environment\u2019, in Proceedings of the Fourteenth International Conference on Data Engineering (ICDE\u201998), IEEE Computer Society, Orlando, Florida, USA, pp. 36\u201345."},{"issue":"4","key":"15_CR10","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1145\/586081.586085","volume":"9","author":"C Sun","year":"2002","unstructured":"Sun, C. (2002): \u2018Undo as Concurrent Inverse in Group Editors\u2019, ACM Transactions on Computer-Human Interaction (TOCHI) 9(4), 309\u2013361.","journal-title":"ACM Transactions on Computer-Human Interaction (TOCHI)"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/505151.505152","volume":"9","author":"C Sun","year":"2002","unstructured":"Sun, C. & Chen, D. (2002): \u2018Consistency Maintenance in Real-Time Collaborative Graphics Editing Systems\u2019, ACM Transactions on Computer-Human Interaction (TOCHI) 9(1), 1\u201341.","journal-title":"ACM Transactions on Computer-Human Interaction (TOCHI)"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/274444.274447","volume":"5","author":"C Sun","year":"1998","unstructured":"Sun, C., Jia, X., Zhang, Y., Yang, Y. & Chen, D. (1998): \u2018Achieving Convergence, Causality-preservation and Intention-preservation in Real-Time Cooperative Editing Systems\u2019, ACM Transactions on Computer-Human Interaction (TOCHI) 5(1), 63\u2013108.","journal-title":"ACM Transactions on Computer-Human Interaction (TOCHI)"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Vidot, N., Cart, M., Ferri\u00e9, J. & Suleiman, M. (2000): \u2018Copies Convergence in a Distributed Real-Time Collaborative Environment\u2019, in Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW\u201900), Philadelphia, Pennsylvania, USA.","DOI":"10.1145\/358916.358988"},{"key":"15_CR14","unstructured":"Wirsing, M. (1990): \u2018Algebraic specification\u2019, Handbook of Theoretical Computer Science (vol. B): formal models and semantics pp. 675\u2013788."}],"container-title":["ECSCW 2003"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-010-0068-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T18:48:32Z","timestamp":1558550912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-010-0068-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9789401039949","9789401000680"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-94-010-0068-0_15","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}