# PlusCal

> Entity coverage from Web Pulse
> Last updated: 2026-05-24T21:08:55.068996+00:00
> 1 articles mentioning **PlusCal**

- [Modeling Token Buckets in PlusCal and TLA+](https://wpnews.pro/news/modeling-token-buckets-in-pluscal-and-tla) — 2026-03-16