Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
A quorum-consensus replication method for abstract data types
ACM Transactions on Computer Systems (TOCS)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
ACM Transactions on Computer Systems (TOCS)
Grapevine: an exercise in distributed computing
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Sacrificing serializability to attain high availability of data in an unreliable network
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Large Database Specification from Small Views
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Weighted voting for replicated data
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
LOCUS a network transparent, high reliability distributed system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
The failure and recovery problem for replicated databases
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Replication and Fault-Tolerance in the ISIS System
Replication and Fault-Tolerance in the ISIS System
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
SPECIFICATION AND IMPLEMENTATION OF ATOMIC DATA TYPES
SPECIFICATION AND IMPLEMENTATION OF ATOMIC DATA TYPES
Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
Bounded ignorance in replicated systems
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Bounded ignorance: a technique for increasing concurrency in a replicated system
ACM Transactions on Database Systems (TODS)
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Specifying Graceful Degradation
IEEE Transactions on Parallel and Distributed Systems
A UAU test and development environment based on dynamic system reconfiguration
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Eventually linearizable shared objects
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Transaction independence: The road to cooperative systems
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |