A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership
| dc.date.accessioned | 2005-12-20T22:29:44Z | |
| dc.date.accessioned | 2018-11-24T10:23:55Z | |
| dc.date.available | 2005-12-20T22:29:44Z | |
| dc.date.available | 2018-11-24T10:23:55Z | |
| dc.date.issued | 2003-09-25 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/30425 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/30425 | |
| dc.description.abstract | We prove correctness of a Byzantine-fault-tolerant replication algorithm for a read/writeatomic memory that supports a dynamic replica set. | |
| dc.format.extent | 10 p. | |
| dc.format.extent | 13866415 bytes | |
| dc.format.extent | 493836 bytes | |
| dc.language.iso | en_US | |
| dc.title | A Correctness Proof for a Byzantine-Fault-Tolerant Read/Write Atomic Memory with Dynamic Replica Membership |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| MIT-CSAIL-TR-2003-020.pdf | 493.8Kb | application/pdf | View/ |
| MIT-CSAIL-TR-2003-020.ps | 13.86Mb | application/postscript | View/ |