News for hackers. Stuff that matters.

A comment on Atomics and Concurrency. Parent comment

Re:Atomics and Concurrency by jeffreygoesto on Friday January 12, 2024 @04:04AM (#38965752)
TLA+ comes to mind

[0] https://www.learntla.com/index.html

[ Parent | on HN ]

There are no comments on this comment yet.