{"type": "article", "title": "Modeling Token Buckets in PlusCal and TLA+", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/modeling-token-buckets-in-pluscal-and-tla", "original_source": "https://muratbuffalo.blogspot.com/2026/03/modeling-token-buckets-in-pluscal-and.html", "published": "2026-03-16T14:41:00+00:00", "accessed": "2026-07-06", "id": "modeling-token-buckets-in-pluscal-and-tla"}