Publication | Open Access
EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems
15
Citations
28
References
2017
Year
EngineeringFault-tolerant MessagingByzantine FaultVerificationFormal MethodsSystems EngineeringFault ToleranceComputer ScienceConsistency TechnologyData ManagementData ReplicationSystem SoftwareFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1