Sleeping soundly with the help of TLA+ (2022) (via hwayne) — discussion

#distributed #formalmethods