https://github.com/quangtung97/semi-sync-tla-v2

TLA+ Specification of Semi Sync Replication
https://github.com/quangtung97/semi-sync-tla-v2

Last synced: 1 day ago
JSON representation

TLA+ Specification of Semi Sync Replication

• Host: GitHub
• URL: https://github.com/quangtung97/semi-sync-tla-v2
• Owner: QuangTung97
• Created: 2024-08-13T09:29:28.000Z (3 months ago)
• Default Branch: master
• Last Pushed: 2024-08-13T09:31:22.000Z (3 months ago)
• Last Synced: 2024-08-13T11:15:37.346Z (3 months ago)
• Language: TLA
• Size: 162 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project