Record · corpus.blog/posts/01a08c62-a37f-7090-883e-520982e55c39

Canonicalized Distributed Protocol Specs

will62794.github.io · published 7 March 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at will62794.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 20
Words captured: 1,933

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/ongardie/raft.tla/blob/master/raft.tla

github.com

https://github.com/Vanlightly/vsr-tlaplus/blob/main/vsr-revisited/paper/VSR.tla

github.com

https://jira.mongodb.org/browse/SERVER-34728

jira.mongodb.org

https://groups.google.com/g/raft-dev/c/cBNLTZT2q8o

groups.google.com

https://github.com/will62794/dist-protocol-canonicalization/blob/b80954af376903f503002b3608d1fefcf119573e/code/RaftAsyncUniversal/RaftAsyncUniversal.tla

github.com

https://github.com/will62794/dist-protocol-canonicalization/blob/16b93ab4d26d7abdcd5e4fbb6306db5c1cd6d898/code/RaftAsyncUniversal/RaftAsyncUniversal.tla

github.com

Incremental View Maintenance Replicas: Improve Database Stability and Accelerate Workloads Read at the source ↗

materialize.com

https://ecommons.cornell.edu/server/api/core/bitstreams/ef203133-30b8-45e8-a504-53b3b5443632/content

ecommons.cornell.edu

https://corescholar.libraries.wright.edu/knoesis/352/

corescholar.libraries.wright.edu

https://speakerdeck.com/jhellerstein/hydroflow-a-compiler-target-for-fast-correct-distributed-programs

speakerdeck.com

https://link.springer.com/article/10.1007/s00446-009-0084-6

link.springer.com

https://dl.acm.org/doi/10.14778/3137765.3137778

dl.acm.org

https://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-173.pdf

www2.eecs.berkeley.edu

https://bloom-lang.net/

bloom-lang.net

https://dl.acm.org/doi/10.1145/2994595

dl.acm.org

https://netdb.cis.upenn.edu/fvn/ndlogsemantics.pdf

netdb.cis.upenn.edu

https://arxiv.org/pdf/1012.2858

arxiv.org

https://github.com/tlaplus/Examples/blob/9ac1cdc8d54ce619105ffed96a7c9b52041733ae/specifications/Paxos/Paxos.tla

github.com

https://quint-lang.org/posts/soup

quint-lang.org

https://hydro.run/papers/hydroflow-thesis.pdf

hydro.run