42,593 blogs · 5,407,708 posts Claim your blog

Record · corpus.blog/posts/01a0bba0-04f0-7121-91e3-78d5b35a70d1

Modeling Token Buckets in PlusCal and TLA+

Murat Demirbas · published 16 March 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 8
Words captured: 939

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

Fixing retries with token buckets and circuit breakers Read at the source ↗

https://github.com/muratdem/ECS/blob/main/TokenBucketP.tla

github.com

https://blogger.googleusercontent.com/img/a/AVvXsEim7hPmaOqA-IYKDKdUdld7zdimWK1MboCz48UiZifppKAmnbXRewvfnTt6H3_9q8DSiim_Ee1yR_nfVvi920dJNRUun_4_osIhGzqMS9dUAJtAWTvYuoSeq9IL1mDLXueqz38JDxqU-IR5IzJWwnDkJZj-1Vz9OdQKPZdy3QO3a2XyTno0HQErDgAioto

blogger.googleusercontent.com

https://github.com/muratdem/ECS/blob/main/TokenBucketPfixed.tla

github.com

https://blogger.googleusercontent.com/img/a/AVvXsEjv72I4Vda_F7vc0JFBYGm-VjKZ-GZyPIiCm16K3AzIYLdwuj56vnuBGrneDrdT1zMIgAtTUDHpl7bQuM5GDudsyl25hBf4k_wAwk7czwx-8WUGZUQITuInRSFHHBzV8Co59btSwVAfahb_mfU8aWa-s746tkOR1i1eep3_BchKjpNSmNImaHOtkqVPN3E

blogger.googleusercontent.com

https://github.com/muratdem/ECS/blob/main/TokenBucketDriver.tla

github.com

https://blogger.googleusercontent.com/img/a/AVvXsEgbKaM2oT3sdPHq7zbCJsds83M-cJvZXta66R89A3vWpyETZ_9FgW-Cpos2CfSoxQEvgaSov1HnzGPD2cDna7NdBaLyExpIMaU62Ieut6d0Esh7P3hRm3Qosjop6rh2TYaYWqMpd28HaJmQauXpPH9UT1MuQLoasY2wp9LJ5fSxK-2Izm5x8PZxR31k3YI

blogger.googleusercontent.com

https://will62794.github.io/spectacle/

will62794.github.io