muratdem
Working on distributed [systems, databases, consensus, blockchains]. Blogs at http://muratbuffalo.blogspot.com
Buffalo, NY
Pinned Repositories
Examples
A collection of TLA+ specifications of varying complexities
HLC
MDBTLA
High level model for MongoDB consistency
muratdem.github.io
PlusCal-examples
Pluscal/TLA+ modeling of distributed systems/protocols
RaftLeaderLeases
TLA+ model for Raft Leader Leases, and linearizable reads from leader
TLA-seminar
TLA+ introductory seminar examples
tlaplus
TLA+ programs
Examples
A collection of TLA⁺ specifications of varying complexities.
AugmentedTimePython
A project to implement Augmented Time as described by Murat Demirbas in his paper "Beyond TrueTime"
muratdem's Repositories
muratdem/PlusCal-examples
Pluscal/TLA+ modeling of distributed systems/protocols
muratdem/HLC
muratdem/MDBTLA
High level model for MongoDB consistency
muratdem/TLA-seminar
TLA+ introductory seminar examples
muratdem/RaftLeaderLeases
TLA+ model for Raft Leader Leases, and linearizable reads from leader
muratdem/Examples
A collection of TLA+ specifications of varying complexities
muratdem/muratdem.github.io
muratdem/tlaplus
TLA+ programs
muratdem/dataflow
TLA+ model for Dataflow protocols