jzhao.xyz

Search

Search IconIcon to open search

System model

Last updated May 5, 2022 Edit Source

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

# Permissioning


Interactive Graph