TLA+ specification of the cross-shard commit protocol for ScaleGraph. Note: The BftAccount spec abstracts away network messaging. A rewrite of a more concrete/detailed spec that includes network messaging is in progress.
eislab-cps/SRsRS
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|