I hereby claim:
- I am blueish on github.
- I am blueish (https://keybase.io/blueish) on keybase.
- I have a public key whose fingerprint is F3E8 5EF5 365B 2278 EBA6 B58C 694F 0B7D 4995 9112
To claim this, I am signing this object:
Sam Chow blueish
blueish
/ replicated_kv.tla
Last active
February 25, 2019 23:37
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ----------------------------- MODULE replicated_kv ----------------------------- | |
| (***************************************************************************************) | |
| (* Specifies a simple replicated Key-Value store in MPCal. *) | |
| (* *) | |
| (* Specifies a replicated state machines (RSM) approach as described in: *) | |
| (* *) | |
| (* Implementing fault-tolerant services using the state machine approach: a tutorial. *) | |
| (* http://dl.acm.org/citation.cfm?id=98167 *) | |
| (***************************************************************************************) |
blueish
/ keybase.md
Created
May 11, 2017 22:39