An Assertional Proof of a Byzantine Agreement Protocol
An assertional proof of a Byzantine Agreement protocol is given. This provides a formal argument for the correctness of the protocol.
computer science; technical report
Previously Published As