ACM Transactions on Computer Systems (TOCS)
Indulgent algorithms (preliminary version)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Stability of long-lived consensus (extended abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
A Probabilistically Correct Leader Election Protocol for Large Groups
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
On implementing omega with weak reliability and synchrony assumptions
Proceedings of the twenty-second annual symposium on Principles of distributed computing
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Information and Computation
Stability of long-lived consensus
Journal of Computer and System Sciences
Consensus on transaction commit
ACM Transactions on Database Systems (TODS)
Paxos made live: an engineering perspective
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
I do declare: consensus in a logic language
ACM SIGOPS Operating Systems Review
Chain replication in theory and in practice
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Robust distributed name service
IPTPS'04 Proceedings of the Third international conference on Peer-to-Peer Systems
Ω meets paxos: leader election and stability without eventual timely links
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Proactive leader election in asynchronous shared memory systems
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
A simple distributed algorithm for the maintenance of a spanning tree
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Distributed local 2-connectivity test of graphs and applications
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
| Hi-index | 0.00 |