Axioms for memory access in asynchronous hardware systems
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Computer Languages
Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
High-latency, low-bandwidth windowing in the Jupiter collaboration system
Proceedings of the 8th annual ACM symposium on User interface and software technology
Formal semantics for expressing optimism: the meaning of HOPE
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
An integrating, transformation-oriented approach to concurrency control and undo in group editors
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
ACM Transactions on Computer-Human Interaction (TOCHI)
Operational transformation in real-time group editors: issues, algorithms, and achievements
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Formal design and verification of operational transformation algorithms for copies convergence
Theoretical Computer Science - Algebraic methodology and software technology
Operation context and context-based operational transformation
CSCW '06 Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work
Decentralized concurrency control for real-time collaborative editors
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Coordination Model for Real-Time Collaborative Editors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A Flexible Access Control Model for Distributed Collaborative Editors
SDM '09 Proceedings of the 6th VLDB Workshop on Secure Data Management
Replicated abstract data types: Building blocks for collaborative applications
Journal of Parallel and Distributed Computing
Towards synchronizing linear collaborative objects with operational transformation
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Applying a theorem prover to the verification of optimistic replication algorithms
Rewriting Computation and Proof
| Hi-index | 0.89 |