The DOI matches its Crossref record; 14 of the 15 references it cites were found in a registry or an index.
Concurrency control in groupware systems
Abstract
Groupware systems are computer-based systems that support two or more users engaged in a common task, and that provide an interface to a shared environment. These systems frequently require fine-granularity sharing of data and fast response times. This paper distinguishes real-time groupware systems from other multi-user systems and discusses their concurrency control requirements. An algorithm for concurrency control in real-time groupware systems is then presented. The advantages of this algorithm are its simplicity of use and its responsiveness: users can operate directly on the data without obtaining locks. The algorithm must know some semantics of the operations. However the algorithm's overall structure is independent of the semantic information, allowing the algorithm to be adapted to many situations. An example application of the algorithm to group text editing is given, along with a sketch of its proof of correctness in this particular case. We note that the behavior desired in many of these systems is non-serializable.
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“CRDT convergence already provides the safety property advisory claims need; causality is established by the underlying CRDT [Shapiro et al., 2011] which inherits Lamport's happens-before [Lamport, 1978] for ordering concurrent edits, in contrast to the operational-transformation lineage [Ellis and Gibbs, 1989, Sun et al., 1998] that requires a central transformation server.”
From AgentRoom: Concurrent Multi-Agent Coding in a CRDT-Backed Shared Workspace (2026) · cites this paper as Ellis and Gibbs, 1989
Citations
Cites
Time, clocks, and the ordering of events in a distributed system
Lamport, L. (1978) · Communications of the ACM · doi:10.1145/359545.359563 · Cited by 8,488
Time, clocks, and the ordering of events in a distributed system
Lamport, L. (2019) · ACM eBooks · doi:10.1145/3335772.3335934 · Cited by 1,982
Beyond the chalkboard: computer support for collaboration and problem solving in meetings
Stefik, M., Foster, G., Bobrow, D. G., Kahn, K., Lanning, S., & Suchman, L. A. (1987) · Communications of the ACM · doi:10.1145/7885.7887 · Cited by 1,023
Why CSCW applications fail: problems in the design and evaluationof organizational interfaces
Grudin, J. (1988) · Proceedings of the 1988 ACM conference on Computer-supported cooperative work - CSCW '88 · doi:10.1145/62266.62273 · Cited by 961
Computer-Based Real-Time Conferencing Systems
Sarin, & Greif (1985) · Computer · doi:10.1109/mc.1985.1662711 · Cited by 202
Grudin, J. T. (1988) · Computer Supported Cooperative Work (CSCW) · Cited by 169
Bancilhon, F., Kim, W. B., & Korth, H. F. (1985) · Very Large Data Bases · Cited by 169
Quilt: a collaborative tool for cooperative writing
Fish, R., Kraut, R. E., & Leland, M. D. P. (1988) · ACM SIGOIS Bulletin · doi:10.1145/966861.45414 · Cited by 162
An experiment in integrated multimedia conferencing
Lantz, K. A. (1986) · ACM Conference on Computer Supported Cooperative Work (CSCW) · doi:10.1145/637069.637106 · Cited by 134
Quilt: a collaborative tool for cooperative writing
Fish, R., Kraut, R. E., & Leland, M. D. P. (1988) · doi:10.1145/45410.45414 · Cited by 91
Flagged first, then by citations
1 of the 15 references couldn’t be matched to a known paper.
Research works printed but not linked: 7
- Bancilhon G., 1985, Proc. Intl. Cony. on Very Large Data Bases, 25
- Bernstein P., 1987, Addison-Wesley
- Proceedings, 1986, Conference on Computer-Supported Cooperative Work
- Proceedings, 1988, Conference on Computer-Supported Cooperative Work (Portland, Or., Sept. 23-25)
- Ellis C.A., 1988, Tex.
- Ellis C.A., 1988, Tex.
- Ellis C.A., 1989, Hawaii Int. Conf. on System Sciences
Cited by
Sorted by citations
Items 601–700 of 881
Research on internet-based real-time collaborative image editing systems
Xu, X., Chen, C., Bu, J., & Li, Y. (2004) · International Conference on Computer Supported Cooperative Work in Design (CSCWD) · doi:10.1109/cacwd.2004.1349245 · Cited by 2
A P2P Groupware Framework based on Operational Transformations
Quiroga, L., & Fernández, A. (2007) · IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW) · doi:10.1109/icdcsw.2007.94 · Cited by 2
Sabbir, A. S., & Ravindran, K. (2005) · International Symposium on Distributed Simulation and Real Time Applications (DS-RT) · doi:10.1109/distra.2005.13 · Cited by 2
Consistency maintenance based on the matching of topological entity
Li, X., He, F., Cai, X., & Zhang, D. (2012) · International Conference on Computer Supported Cooperative Work in Design (CSCWD) · doi:10.1109/cscwd.2012.6221859 · Cited by 2
REAL-TIME COLLABORATION SUPPORT FOR JAVASCRIPT FRAMEWORKS
Grüneberger, F. J. (2012) · Cited by 2
Building Real-Time Collaborative Applications with a Federated Architecture
Ojanguren-Menendez, P., Tenorio-Fornés, A., & Hassan, S. (2015) · International Journal of Interactive Multimedia and Artificial Intelligence · doi:10.9781/ijimai.2015.356 · Cited by 2
Non-linear compression: Gzip Me Not!
Nowlan, M. F., Ford, B., & Gummadi, R. (2012) · USENIX conference on Hot topics in storage and file systems · Cited by 2
Monadic Logs for Collaborative Web Applications
Agarwal, S., Bellinger, D., Kennedy, O. A., Upadhyay, A., & Ziarek, L. (2013) · Cited by 2
A Flexible System for Request Processing in Government Institutions
(2014) · Acta Polytechnica Hungarica · doi:10.12700/aph.11.06.2014.06.13 · Cited by 2
Jungnickel, T., Cabello, J., & Raile, K. (2017) · ACM Conference on Computer Supported Cooperative Work (CSCW) · doi:10.1145/3022198.3026342 · Cited by 2
Liping, G., Xin, Z., & Zhang, Q. (2017) · Chinese Conference on Computer Supported Cooperative Work and Social Computing (ChineseCSCW) · doi:10.1145/3127404.3127457 · Cited by 2
Synchronous Collaborative Text Editing in Wikis.
Rubart, J. (2017) · Cited by 2
DTNDocs: A delay tolerant peer-to-peer collaborative editing system
Robin, C. E. A., & Romero, V. M. (2018) · International Conference on Information Networking · doi:10.1109/icoin.2018.8343092 · Cited by 2
Collaborative Work Management with a Highly-Available Kanban Board
Bieniusa, A., Zeller, P., & Barke, S. (2018) · Springer eBooks · doi:10.1007/978-3-319-98047-8_4 · Cited by 2
Cloud-Based Lightweight Collaborative Editing Algorithm for Mobile Devices
Lv, X. J., Yuan, J., He, F., Cheng, Y. H., & Cai, W. (2021) · International Conference on Computer Supported Cooperative Work in Design (CSCWD) · doi:10.1109/cscwd49262.2021.9437719 · Cited by 2
Piecemeal: a formal collaborative editing technique guaranteeing correctness
Dekeyser, S., & Hidders, J. (2010) · University of Southern Queensland ePrints (University of Southern Queensland) · Cited by 2
Ellis, C. A. (2022) · ACM SIGCAS Computers and Society · doi:10.1145/3557907.3557909 · Cited by 2
Self-citationSecure Quasi-Realtime Collaborative Editing over Low-Cost Storage Services
Zhang, C., Jin, J., Chang, E., & Mehrotra, S. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-32873-2_8 · Cited by 2
Gaubatz, P., Hummer, W., Zdun, U., & Strembeck, M. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-39200-9_18 · Cited by 2
Evaluating data convergence of collaborative editors in opportunistic networks
Alsulami, N., Cherif, A., & Abdessamad Imine, A. (2017) · Information and Communication Technologies and Accessibility · doi:10.1109/icta.2017.8336061 · Cited by 2
Comparative Study on Decentralized Cloud Collaboration(DCC)
Selvanathan, N., & Poravi, G. (2018) · IEEE International Conference for Convergence in Technology (I2CT) · doi:10.1109/i2ct.2018.8529811 · Cited by 2
Ruggedizing CS1 robotics: tools and approaches for online teaching
Anderson, B., Henz, M., & Tee, H.-W. (2021) · ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E) · doi:10.1145/3484272.3484969 · Cited by 2
Designing a commutative replicated data type for cooperative editing systems
Preguiça, N., Shapiro, M., & Martins, J. L. (2008) · HAL · Cited by 2
The Design Space for Data Replication Algorithms in Interactive Groupware
Bhola, S., & Ahamad, M. (1998) · Cited by 2
A Flexible Multi-mode Undo Mechanism for a Collaborative Modeling Environment
Göhnert, T., Malzahn, N., & Hoppe, H. U. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-04216-4_12 · Cited by 2
Efficient Group Coordination in Multicast Trees
Dommel, H., & Garcia-Luna-Aceves, J. J. (2003) · The Journal of Supercomputing · doi:10.1023/a:1021754927048 · Cited by 2
Specifying Temporal Behaviour in Software Architectures for Groupware Systems
Wright, T., Graham, T. C. N., & Urnes, T. (2001) · Lecture notes in computer science · doi:10.1007/3-540-44675-3_1 · Cited by 2
Analyzing Convergence in Consistency Models for Distributed Objects
Torres-Rojas, F. J., & Meneses, E. (2005) · Lecture notes in computer science · doi:10.1007/11516798_25 · Cited by 2
A flexible object-group-oriented framework to support large scale collaborative applications
Domingos, H., Martins, J. L., & Simão, J. (2002) · Hawaii International Conference on System Sciences (HICSS) · doi:10.1109/hicss.1997.667199 · Cited by 2
Präsentation und Kollaboration in Televeranstaltungen mit dem multimedia lecture board
Vogel, J. (2003) · Cited by 2
CovaModeler: A multi-user tool for modelling cooperative processes
Hsieh, Y., Shi, M., & Yang, G. (2003) · International Journal of Computer Applications in Technology · doi:10.1504/ijcat.2003.000312 · Cited by 2
Enable collaborative graphics editing in mobile environment
Jiang, B., Zhang, H., Chen, C., & Yang, J. (2005) · International Conference on Computer Supported Cooperative Work in Design (CSCWD) · doi:10.1109/cscwd.2005.194189 · Cited by 2
Component-Based Specification of Collaborative Objects
Abdessamad Imine, A. (2007) · Electronic Notes in Theoretical Computer Science · doi:10.1016/j.entcs.2006.08.027 · Cited by 2
SemCW: Semantic collaborative writing using RST
Rahhal, C., Skaf‐Molli, H., Molli, P., & Silva, N. H. D. (2007) · International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom) · doi:10.1109/colcom.2007.4553879 · Cited by 2
Transaction support for an ANSA-based platform
de Toledo, M. B. F., & Blair, G. S. (2002) · Proceedings of the ... International Conference on Distributed Computing Systems/Proceedings of the International Conference on Distributed Computing Systems · doi:10.1109/icdcs.1994.302413 · Cited by 2
Maintaining consistency in collaboration over hierarchical documents
Ignat, C. (2006) · Repository for Publications and Research Data (ETH Zurich) · doi:10.3929/ethz-a-005361349 · Cited by 2
Research on awareness model on real-time collaborative graphics editing system
Li, Y., Bu, J., Chen, C., & Xu, X. (2004) · International Conference on Machine Learning and Cybernetics · doi:10.1109/icmlc.2003.1260076 · Cited by 2
Automatic synthesis of coordinators for COTS groupware applications: an example
Inverardi, P., Tivoli, M., & Bucchiarone, A. (2004) · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · doi:10.1109/enabl.2003.1231395 · Cited by 2
Abdessamad Imine, A., & Pascal Urso, B. (2003) · Electronic Notes in Theoretical Computer Science · doi:10.1016/s1571-0661(04)80811-9 · Cited by 2
Flexible data storage for mobile computing
Preguiça, N., Martins, J. L., Domingos, H., & Simão, J. (1999) · ACM Symposium on Applied Computing · doi:10.1145/298151.298397 · Cited by 2
A safe and generic model for synchronizing divergent data
Oster, G., Molli, P., Skaf‐Molli, H., & Abdessamad Imine, A. (2004) · French-speaking Conference on Mobility and Ubiquity Computing · doi:10.1145/1050873.1050897 · Cited by 2
A Consistency Maintenance Approach in Replicated Services
Yang, J.-M., Zhang, Q., & Gu, N. (2006) · IEEE International Conference on Computer and Information Technology (CIT) · doi:10.1109/cit.2006.4 · Cited by 2
Evaluation of interference during collaborative document development
Campbell, J. D. (2002) · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · doi:10.1109/enabl.2001.953398 · Cited by 2
Johnson, C. (1992) · Cited by 2
Language Support for Loosely Consistent Distributed Programming
Conway, N. (2014) · eScholarship (California Digital Library) · Cited by 2
Towards self-optimizing frameworks for collaborative systems
Junuzovic, S. (2019) · Carolina Digital Repository (University of North Carolina at Chapel Hill) · doi:10.17615/h7yy-wp94 · Cited by 2
Preston, J. A., & Prasad, S. K. (2008) · doi:10.1142/9789812811103_0012 · Cited by 2
Hauschild, T. (2004) · Publication Server of Weimar Bauhaus-University (Weimar Bauhaus-University) · doi:10.25643/bauhaus-universitaet.64 · Cited by 2
Got: Git, but for ObjectsPreprint
Achar, R., & Lopes, C. V. (2019) · arXiv (Cornell University) · doi:10.48550/arxiv.1904.06584 · Cited by 2
Architectures and Algorithms for Real-Time Web-Based Collaboration
Gadea, C. (2021) · uO Research (University of Ottawa) · doi:10.20381/ruor-26166 · Cited by 2
Réplication optimiste et cohérence des données dans les environnements collaboratifs répartis
Oster, G. (2005) · HAL · Cited by 2
Collaborative Real Time Coding or How to Avoid the Dreaded MergePreprint
Levin, S., & Yehudai, A. (2015) · arXiv (Cornell University) · doi:10.48550/arxiv.1504.06741 · Cited by 2
A Hybrid FSM Rule-Based Approach for the Real-Time Control of Web-Based Collaborative Platforms
Gadea, C., Ionescu, B. E., & Ionescu, D. (2018) · IEEE International Conference on Intelligent Engineering Systems (INES) · doi:10.1109/ines.2018.8523986 · Cited by 1
Think Locally, Act Globally: A Programming Model for Decentralized Applications
Haas, J., Kuessner, C., Mogk, R., & Mezini, M. (2025) · IEEE Internet Computing · doi:10.1109/mic.2025.3618947 · Cited by 1
The Effects of Update Interval and Reveal Method on Writer Comfort in Synchronized Shared-Editors
Yeh, Y.-T., Joshi, N., & Vogel, D. (2024) · CHI Conference on Human Factors in Computing Systems · doi:10.1145/3613904.3642330 · Cited by 1
Live annotation and content discovery in personal learning environments
Corneli, J., & Mikroyannidis, A. (2010) · Open Research Online (The Open University) · Cited by 1
Delayed State Consistency in Distributed Virtual Environments
Peng, Y., Zhang, Y., & Li, S. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30207-0_93 · Cited by 1
Ciao: A Collaborative, Immersive Architectural Layout System
Sung, U.-J., Yang, J.-H., & Wohn, K. (2000) · International Journal of Virtual Reality · doi:10.20870/ijvr.2000.4.2.2642 · Cited by 1
Research on mixed network architecture collaborative application model
Jing, C., Zhao, X., & Liang, S. (2009) · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · doi:10.1117/12.832728 · Cited by 1
Co-conception multidisciplinaire d'une plateforme de débat en ligne
Seilles, A., Georges, F., Cotret, J., Saillantin, J., & Rodriguez, N. (2010) · Document numérique · doi:10.3166/dn.14.1.11-30 · Cited by 1
Moderated Group Authoring System for Campus-Wide Workgroups
Chandra, S. (2011) · IEEE Transactions on Mobile Computing · doi:10.1109/tmc.2011.114 · Cited by 1
Ozono, T., Shiramatsu, S., & Shintani, T. (2013) · ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) · doi:10.1109/snpd.2013.98 · Cited by 1
Concurrency control strategy in real-time collaborative editing system
Liu, J., Teng, G., Shao, Y. J., Wei, Y., & Dong, S. (2010) · International Conference on Education Technology and Computer · doi:10.1109/icetc.2010.5529560 · Cited by 1
Gaubatz, P., Hummer, W., Zdun, U., & Strembeck, M. (2014) · ACM Symposium on Applied Computing · doi:10.1145/2554850.2554976 · Cited by 1
Intention Preservation in Deterministic Multithreading
Zhao, W. (2014) · International Conference on Future Generation Communication and Networking · doi:10.1109/fgcn.2014.14 · Cited by 1
Asynchronous active values for client-side interactive service coordination
Dix, A. J. (2012) · International Conference on Advanced Visual Interfaces (AVI) · doi:10.1145/2254556.2254565 · Cited by 1
Towards Concurrent Multi-Tasking in Shareable Interfaces
Julià, C. F., & Jordà, S. (2015) · Computer Supported Cooperative Work (CSCW) · doi:10.1007/s10606-015-9218-5 · Cited by 1
Semantic and Locality Aware Consistency for Mobile Cooperative Editing
Negrão, A. P., Costa, J. N., Ferreira, P. A. V., & Veiga, L. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-33606-5_23 · Cited by 1
Kumawat, S., & Khunteta, A. (2010) · International Journal of Computer Applications · doi:10.5120/1088-1420 · Cited by 1
Theory of Mergeability: Safely Merging Two Versions of a Document
Sia, K. C., Chebotariov, S., & Cho, J. J. (2007) · Cited by 1
An Analysis on Operational Transforms
Nycander, M. (2010) · Cited by 1
A Constraint-based Approach for Generating Transformation Patterns
Cherif, A., & Abdessamad Imine, A. (2015) · Electronic Proceedings in Theoretical Computer Science · doi:10.4204/eptcs.201.4 · Cited by 1
A Cloud-Based Reusable Design for Mobile Data Sharing
Guetmi, N., & Abdessamad Imine, A. (2015) · Lecture notes in computer science · doi:10.1007/978-3-319-23781-7_6 · Cited by 1
Designing Mobile Collaborative Applications for Cloud Environments
Guetmi, N., & Abdessamad Imine, A. (2016) · Advances in systems analysis, software engineering, and high performance computing book series · doi:10.4018/978-1-4666-9916-8.ch003 · Cited by 1
Teusner, R., Wittstruck, N., & Staubitz, T. (2017) · IEEE International Conference on Teaching, Assessment, and Learning for Engineering · doi:10.1109/tale.2017.8252312 · Cited by 1
Referencing within Evolving Hypertext.
Grishchenko, V., Pouwelse, J., & Sips, H. J. (2011) · Cited by 1
Operational transformation in cooperative software systems
Leung, C. (2013) · McGill Science Undergraduate Research Journal · doi:10.26443/msurj.v8i1.113 · Cited by 1
Collaborative Code Editor Using Web Application
Santhi, N. J. (2024) · IARJSET · doi:10.17148/iarjset.2024.11347 · Cited by 1
Randolph, A., Abdessamad Imine, A., Boucheneb, H., & Quintero, A. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-41010-9_13 · Cited by 1
Using the Flask Architecture to Build Distributed Applications
Kirby, G., Connor, R., Cutts, Q. I., Morrison, R., Munro, D., & Scheuerl, S. (2007) · Cited by 1
OntoReST: A RST-based Ontology for Enhancing Documents Content Quality in Collaborative Writing.
Naja-Jazzar, H., Silva, N. H. D., Skaf‐Molli, H., Rahhal, C., & Molli, P. (2009) · Americanae (AECID Library) · Cited by 1
Collaboration over Wiki Content
André, L., Ignat, C., & Oster, G. (2012) · HAL · Cited by 1
Using CSP for coordinating undo-based collaborative applications
Cherif, A., & Abdessamad Imine, A. (2016) · ACM Symposium on Applied Computing · doi:10.1145/2851613.2851753 · Cited by 1
Concurrency Control for Mobile Collaborative Applications in Cloud Environments
Mechaoui, M. D., & Abdessamad Imine, A. (2016) · Studies in big data · doi:10.1007/978-3-319-45145-9_11 · Cited by 1
Managing Multi-synchronous Sessions for Collaborative Editing
Yu, W. (2018) · Lecture notes in computer science · doi:10.1007/978-3-030-00560-3_10 · Cited by 1
The Causal Graph CRDT for Complex Document Structure
Hall, A., Nelson, G., Thiesen, M., & Woods, N. (2018) · ACM Symposium on Document Engineering (DocEng) · doi:10.1145/3209280.3229110 · Cited by 1
New Algorithms and Methods for Collaborative Co-Editing Using HTML DOM Synchronization
Gadea, C., Ionescu, B. E., & Ionescu, D. (2018) · IEEE International Conference on Collaboration and Internet Computing (CIC) · doi:10.1109/cic.2018.00038 · Cited by 1
MCPS2: Intention Maintenance of Structure Document Based MCPS Under Mobile Platform
Wang, D., Zhu, S., Gao, L., Wang, S., Xu, X., & Tao, C. (2018) · Communications in computer and information science · doi:10.1007/978-981-13-3044-5_2 · Cited by 1
Osterweil, L. J., Gruhn, V., & Schwenzfeier, N. (2019) · Springer eBooks · doi:10.1007/978-3-030-00262-6_1 · Cited by 1
Multi Web Audio Sequencer: Collaborative Music Making
Favory, X., & Serra, X. (2019) · RECERCAT (Consorci de Serveis Universitaris de Catalunya) · doi:10.48550/arxiv.1905.06717 · Cited by 1
A Control Loop-based Algorithm for Operational Transformation
Gadea, C., Ionescu, B. E., & Ionescu, D. (2020) · IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) · doi:10.1109/saci49304.2020.9118822 · Cited by 1
EdgeDoc: An edge-based distributed collaborative editing system
Alghamdi, M., Cherif, A., & Abdessamad Imine, A. (2020) · Pervasive and Mobile Computing · doi:10.1016/j.pmcj.2020.101288 · Cited by 1
Jupiter Made Abstract, and Then Refined
Wei, H., Tang, R., Huang, Y., & Lv, J. W. (2020) · Journal of Computer Science and Technology · doi:10.1007/s11390-020-0516-0 · Cited by 1
Multidisciplinary Requirements Engineering
Crowder, J. A., & Hoff, C. W. (2022) · Springer eBooks · doi:10.1007/978-3-030-91077-8_10 · Cited by 1
Construction de collecticiels : étude d'architectures logicielles et de fonctions de controle
Kanawati, R. (1997) · HAL · Cited by 1
Modular Generation and Customization
Edwards, J. (2008) · DSpace@MIT (Massachusetts Institute of Technology) · Cited by 1
OntoReST: A RST-based Ontology for Maintaining Semantic Consistency in Collaborative Writing
Rahhal, C., De-Silva, N., Naja-Jazzar, H., Skaf‐Molli, H., & Molli, P. (2007) · HAL · Cited by 1
Transaction Models Supporting Cooperative Work - The TransCoop Experiences
Aberer, K., Klingemann, J., Tesch, T., Wäsch, J., & Neuhold, E. J. (1996) · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · Cited by 1
Group undo framework and algorithms in real-time collaborative image editing systems
Xu, X., Bu, J., Chen, C., & Li, Y. (2004) · Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics · doi:10.1109/icsmc.2003.1244208 · Cited by 1
Experiments in Model-Checking Optimistic Replication AlgorithmsPreprint
Boucheneb, H., & Abdessamad Imine, A. (2008) · arXiv (Cornell University) · doi:10.48550/arxiv.0804.3023 · Cited by 1
Metadata
- Authors
- Ellis, C. A., & Gibbs, S. J.
- Affiliations
- MCC, Austin, Texas
- Venue
- ACM SIGMOD Record
- Published
- 1989-06
- Volume
- 18
- Issue
- 2
- Pages
- 399-407
- ISSN
- 0163-5808 (ISSN-L)
- OpenAlex
- W2145220267
- Cited by
- 873
- References
- 15
- Citations by year
- 2026: 4 · 2025: 4 · 2024: 8 · 2022: 10 · 2021: 12 · 2020: 17 · 2019: 16 · 2018: 28 · 2017: 31 · 2016: 42 · 2015: 39 · 2014: 41 · 2013: 35 · 2012: 41
- FWCI
- 12.51
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- ACM SIGMOD Record (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Computer Networks and Communications › Distributed systems and fault tolerance
- Physical Sciences › Computer Science › Information Systems › Advanced Database Systems and Queries
- Physical Sciences › Engineering › Media Technology › Multimedia Communication and Technology
- Keywords
- concurrency control, groupware, shared data, lock-free algorithms, correctness proofs, multi-user systems
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
