vsr-tlaplus
vsr-tlaplus copied to clipboard
Published
20 hours ago •
Vanlightly
Vanlightly
TLA+ specifications related to Viewstamped Replication
Results
1
vsr-tlaplus issues
Sort by
recently updated
recently updated
newest added
As we previously [discussed](https://twitter.com/haraldng/status/1597270133562830848), the lack of details in the VR paper leaves some implementation details open. The differences in my interpretation of the state transfer are: 1. The `rep_last_normal_view`...
Metadata
17
Stars
0
Forks
Watchers
Owner
Metadata
TLA+ specifications related to Viewstamped Replication