1 result found Sort:

lemmy
lets-prove-blocking-queue lemmy
5
43
cc0-1.0
6
Proving a blocking queue deadlock free in a dozen different ways
tla proof tlaplus algorithm concurrency deadlock-freedom
Created 2020-02-20
7 commits to master branch, last one about a month ago