A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm

Authors:
M. Castro;B. Liskov
Affiliations:
-;-
Venue:
A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm
Year:
1999

Citing 0
Cited 3

Practical Byzantine fault tolerance

OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Practical byzantine fault tolerance and proactive recovery

ACM Transactions on Computer Systems (TOCS)
Speculative linearizability

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract