deadlock-freedom

There are 2 repositories under deadlock-freedom topic.

  • lemmy/lets-prove-blocking-queue

    Proving a blocking queue deadlock free in a dozen different ways

    Language:Dafny42605

  • boystrange/FairCheck

    FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.

    Language:Haskell3100