Daniel Tisdall


concurrency | correctness | sw eng

Tags in Blog

blockchain (1) concurrency (9) math (1) sweng (2)

blockchain

Tech Talk - Interchain Security: Blockchain Scalability and Security

concurrency

Lower bound on the number of rounds in crash stop synchronous consensus
Large-scale Incremental Processing Using Distributed Transactions and Notifications a.k.a. Percolator
Chain Replication
Primary Backup Replication
Lower bound (space) on FIFO mutual exclusion in shared memory
Lower bound (time) for read-write register in message passing
Get started with TLA+ tutorial video
Tech Talk - Modelling the Agoric smart contract kernel using TLA+
Lower bound (time) on approximate agreement in shared memory

math

Why does Jepsen Work?

sweng

How AWS builds things: Amazon Builder's Library. TLDR.
Concise TLA+ tutorial with state enumerating and symbolic model checking
Designed by Hakan