Projects in Awesome Lists tagged with deadlock-freedom
A curated list of projects in awesome lists tagged with deadlock-freedom .
https://github.com/lemmy/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
algorithm concurrency deadlock-freedom proof tla tlaplus
Last synced: 26 Mar 2025
