TLA+ modeling tips (via Noghartt) — discussion

#distributed #formalmethods