{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:22Z","timestamp":1720624942144},"reference-count":14,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3650,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s1571-0661(04)80811-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"92-108","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Automatic Detection of Copies Divergence in Collaborative Editing Systems1 1The authors would like to thank Pascal Molli and G\u00e9rald Oster for useful comments on an earlier draft of this paper."],"prefix":"10.1016","volume":"80","author":[{"given":"Abdessamad","family":"Imine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Urso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"5","key":"10.1016\/S1571-0661(04)80811-9_NEWBIB1","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1093\/logcom\/5.5.631","article-title":"Automated Mathematical Induction","volume":"5","author":"Bouhoula","year":"1995","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB2","first-page":"399","volume":"18","author":"Ellis","year":"1989","journal-title":"Concurrency Control in Groupware Systems"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB3","unstructured":"Imine A., P. Molli, G. Oster and M. Rusinowitch, Development of Transformation Functions Assisted by a Theorem Prover, Fourth International Workshop on Collaborative Editing (ACM CSCW'02), Collaborative Computing in IEEE Distributed Systems Online (2002)."},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Imine A., P. Molli, G. Oster and M. Rusinowitch, Proving Correctness of Transformation Functions in Real-Time Groupware, in: accepted in 8th European Conference of Computer-supported Cooperative Work, Helsinki, Finland, 2003.","DOI":"10.1007\/978-94-010-0068-0_15"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB5","first-page":"463","article-title":"Some Philosophical Problems from the Standpoint of the Artificial Intelligence","volume":"4","author":"McCarthy","year":"1969","journal-title":"Machine Intelligence"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Molli P., H. Skaf-Molli, G. Oster and S. Jourdain, SAMS: Synchronous, Asynchronous, Multi-Synchronous Environments, in: The Seventh International Conference on CSCW in Design, Rio de Janeiro, Brazil, 2002.","DOI":"10.1109\/CSCWD.2002.1047653"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB7","unstructured":"Pinto J., \u201cTemporal Reasoning in the Situation Calculus,\u201d Ph.D. thesis, Department of Computer Science, University of Toronto, Canada (1994)."},{"issue":"3","key":"10.1016\/S1571-0661(04)80811-9_NEWBIB8","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/316542.316545","article-title":"Some Contributions to the Metatheory of the Situation Calculus","volume":"46","author":"Pirri","year":"1999","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB9","doi-asserted-by":"crossref","unstructured":"Ressel M., D. Nitsche-Ruhland and R. Gunzenhauser, An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors, in: Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'96), Boston, Massachusetts, USA, 1996, pp. 288\u2013297.","DOI":"10.1145\/240080.240305"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Suleiman M., M. Cart and J. Ferri\u00e9, Concurrent Operations in a Distributed and Mobile Collaborative Environment, in: Proceedings of the Fourteenth International Conference on Data Engineering, February 23\u201327, 1998, Orlando, Florida, USA (1998), pp. 36\u201345.","DOI":"10.1109\/ICDE.1998.655755"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB11","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/274444.274447","article-title":"Achieving Convergence, Causality-preservation and Intention-preservation in real-time Cooperative Editing Systems","volume":"5","author":"Sun","year":"1998","journal-title":"ACM Transactions on Computer-Human Interaction (TOCHI)"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB12","series-title":"\u201cTerm Rewriting Systems\u201d","author":"Terese","year":"2003"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Vidot N., M. Cart, J. Ferri\u00e9 and M. Suleiman, Copies convergence in a distributed real-time collaborative environment, in: Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'00), Philadelphia, Pennsylvania, USA, 2000.","DOI":"10.1145\/358916.358988"},{"key":"10.1016\/S1571-0661(04)80811-9_NEWBIB14","series-title":"Handbook of theoretical computer science (vol. B): formal models and semantics","first-page":"675","article-title":"Algebraic Specification","author":"Wirsing","year":"1990"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808119?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808119?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:50Z","timestamp":1549191230000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104808119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":14,"alternative-id":["S1571066104808119"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80811-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}