suomela / da2020Links
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆70Updated 6 months ago
Alternatives and similar repositories for da2020
Users that are interested in da2020 are comparing it to the libraries listed below
Sorting:
- Distributed systems lecture notes☆62Updated 7 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 2 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- Learn TLA+ for free! No prior experience necessary!☆214Updated 3 months ago
- ☆19Updated 9 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆134Updated 2 years ago
- A curated list of TLA+ resources.☆146Updated last year
- A curated list of TLA+ resources.☆66Updated 5 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- TLA+ specifications for Kafka related algorithms☆69Updated 5 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 7 months ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- A tool to visualize distributed system logs☆80Updated 3 years ago
- A learned index structure☆53Updated 4 years ago
- A SQL query compiler written in Rust from scratch☆22Updated 9 months ago
- Azure Cosmos TLA+ specifications☆22Updated 5 months ago
- A graduate seminar on languages and abstractions for distributed programming☆19Updated 2 years ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated 9 months ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- ☆11Updated 8 months ago
- A bibliography for protocol design☆37Updated 2 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Pluscal/TLA+ modeling of distributed systems/protocols☆79Updated last year
- TLA+ Foundation☆29Updated last week
- ☆15Updated 7 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago