jzhao.xyz

Search IconIcon to open search

 .
  \_.
  /

System model

Last updated July 3, 2022

How do we capture assumptions in a system model for distributed systems?

# Network behaviour (e.g. message loss)

# Node behaviour (e.g. crashes)

# Timing behaviour (e.g. latency)

# Identity and Messages


Interactive Graph