Modeling Token Buckets in PlusCal and TLA+ (via ahelwer) — discussion

#distributed #formalmethods